This is an old revision of the document!


Unordered pair

Set

context $ X,Y$ … set
definiendum $ x\in \{X,Y\} $
postulate $ x = X \lor x = Y $

$\{X,Y\} \equiv \{x \mid x = X \lor x = Y\}$

Discussion

$\{X,X\} \equiv \{x \mid x = X \lor x = X\} = \{x \mid x = X\} = \{X\}$

Reference

Wikipedia: Axiom of pairing


Context

Link to graph
Log In
Improvements of the human condition