Go backward to Term Algebra Go up to Top Go forward to Example |
fi(T1, ..., Tmi, S1, ..., Sni)for some terms T1, ..., Tmi, S1, ..., Sni where the S1, ..., Sni are also constructor terms.
We may define functions and predicates in term algebras inductively .