Inductive Definitions
lElements of an
inductive definition of a set S:
lBasis: Defines a few items to be
in S.
lInduction rule(s): Introduce new items in S
based on
existence of other, usually simpler, items.
lExtremal clause: Says that the only items in
S are those
derivable by the previous two elements, applied any finite numer of times.