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)