Basics
- Domain values are called sets.
All objects are sets.
- Single binary predicate is element of in .
- All other predicates and functions defined by this predicate.
- x in y: x is element of y.
Behavior of in characterized by axioms.
Author: Wolfgang Schreiner
Last Modification: October 14, 1999