Go backward to MotivationGo up to TopGo forward to Some Axioms |

- 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