Tomma mängden
Från Wikipedia
Den tomma mängden, oftast betecknad med ∅ (ibland används istället beteckningen {}), är den mängd som inte innehåller några element. Den är delmängd till varje annan mängd. Att den inte innehåller några element är samma sak som att den har kardinaliteten 0.
I gängse axiomatiseringar av mängdlära finns det finns bara en tom mängd. Detta följer av extensionalitetsaxiomet som säger att två mängder är lika om de har samma element, dvs A = B om 
. Om A och B är tomma är trivialt sant, vilket medför A=B
