Go backward to Inductive Set Definition
Go up to Top
Go forward to Example
S is the smallest set on which the conjunction of these formulas holds, i.e., every element of S is described by a constructor term
fi(T1, ..., Tmi, S1, ..., Sni)for some terms T1, ..., Tmi, S1, ..., Sni where the S1, ..., Sni are also such constructor terms.