Inductive Definitions
lElements of an inductive definition of a set S.
lBasis
lInduction rule(s)
lExtremal clause