Go backward to Go up to TopGo forward to Basics |

- Most important mathematical domain.
Default for interpretation of logic formulas.

- Universal domain.
- Most other datatypes can be defined as sets.
- Relations, functions, numbers, arrays, lists, trees, databases, ...

- Fundamental domain.
- Not defined by other (more fundamental) domain.
- Characterized by its properties (
*axioms*).

*Building material for other theories.*

Author: Wolfgang Schreiner

Last Modification: October 14, 1999