Go backward to 2.4 MiscellaneousGo up to 2 LanguageGo forward to 2.6 Predefined Predicates and Functions |

Every *term* denotes one of the following types of values:

**A Natural Number**- One of the values 0, 1, 2, ...
term +(1, 1); > 2.

**A Set**- An unordered (and in the evaluator finite) collection of values.
term join(tuple(1, 2), join({}, join(1, {}))); > {1, {}, <1, 2>}.

**A Tuple**- A finite sequence of values.
term tuple(2, tuple(1, 4), {}, 3); > <2, <1, 4>, {}, 3>.

**An Interval**- A subrange of the natural numbers.
term nat(2, 7); > 2..7.

Maintained by: Wolfgang Schreiner

Last Modification: September 16, 2004