Talk:Empty Set Satisfies Topology Axioms

From ProofWiki
Jump to navigation Jump to search

I specifically don't want to call it "Topology on Empty Set" because then some lawyer would either point out that the empty set is specifically excluded from being the underlying set of a topology so we have to rename it, or another lawyer would come along and demand that, on the grounds that this page has that name, the empty topology needs to be included in the class of all topologies. The latter is undesirable purely from the point of view of a colossal quantity of tedious work that I would have to do. --prime mover (talk) 09:09, 3 December 2012 (UTC)

Fine. I'll recluse in detachment. --Lord_Farin (talk) 09:12, 3 December 2012 (UTC)