Go backward to ExampleGo up to Top |

- Sets
- in ,
**0**, set enumeration, =, subset , set quantifier. - Union, intersection, difference, powerset.
- Tuples, constructor < >, selectors .
_{i}, =, Cartesian product.

- in ,
- Relations.
- Encoding and interpretation as sets.
- Representation forms, truth tables, directed graphs.
- Domain, range, inverse, composition.

- Functions.
- Partial function, total function, function application.
- Inversion, composition, commutative diagrams.

- Sequences and matrices as special functions.

Author: Wolfgang Schreiner

Last Modification: October 14, 1999