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.