Go backward to Example
Go up to Top
Go forward to Formula

Term

The set Term is defined by

0 in Term,

1 in Term,

forall x in Term: -x in Term,

forall x in Term, y in Term: x+y in Term,

forall x in Term, y in Term: x*y in Term

with constructors 0, 1, -, +, *.

An element of Term is 1+(1+0)*1.

Author: Wolfgang Schreiner
Last Modification: November 24, 1999