Definition talk:Empty Set

Removed the definitions based on the universal set because those are covered in their own pages. Also moved the $x \ne x$ definition into the ZF axioms section because (as that's where it is initially defined) that's where it goes. --prime mover 00:27, 13 September 2011 (CDT)

Look at what $\exists$ means
I don't understand. --prime mover (talk) 03:36, 6 November 2016 (EST)


 * If you follow my little link to Definition:Existential Quantifier, you would find that $\exists$ uses the empty set, so you cannot use $\exists$ in the definition of an empty set... --kc_kennylau (talk) 03:38, 6 November 2016 (EST)