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.