Content deleted Content added
m →Relations: Converted non-LaTeX math to LaTeX and corrected some grammar and mechanics |
m Bot: link syntax/spacing |
||
Line 21:
== Empty set, singleton, unordered pairs and tuples ==
These constructions appear first because they are the simplest constructions in set theory, not because they are the first constructions that come to mind in mathematics (though the notion of finite set is certainly fundamental!)
Even though NFU also allows the construction of set [[Urelement|ur-elements]] yet to become members of a set, the [[
:<math>\left.\varnothing\right. \overset{\mathrm{def.}}{=} \left\{x : x \neq x\right\}</math>
For each object <math>x</math>, there is a set <math>\{x\}</math> with <math>x</math> as its only element:
| |||