Definition talk:Singleton

Sorry, but if we need a rigorous formalization of this, it needs to go on its own page, and deduce it from the Axiom of Pairing. --prime mover 00:39, 13 September 2011 (CDT)