Implementation of mathematics in set theory: Difference between revisions

Revision as of 02:21, 21 December 2005

Revision as of 02:24, 21 December 2005

Line 79:

subclass of <math>P(P(A \cup B))</math>) and Separation provides for the existence of <math>\{(x,y)\in A \times B \mid x R y\}</math>. In [[NFU]], some relations with global scope

(such as equality and subset) are implemented as sets.

Notice that here we do not support the distinction between range and codomain of a relation:

this could be done by representing a relation R with codomain B as (R,B), but we do not find

this necessary in our development. Note also that for the moment we do not consider relations

of arity greater than 2: all our relations are binary.