Go backward to Term AlgebraGo up to TopGo forward to Example |

- Every element of a term algebra is denoted by
*one and only one*constructor term`f`_{i}(`T`_{1}, ...,`T`_{mi},`S`_{1}, ...,`S`_{ni})`T`_{1}, ...,`T`_{mi},`S`_{1}, ...,`S`_{ni}where the`S`_{1}, ...,`S`_{ni}are also constructor terms. - One to one correspondence between terms and set elements.

*We may define functions and predicates in term
algebras inductively *.

Author: Wolfgang Schreiner

Last Modification: November 24, 1999