Tomma mängden
Wikipedia
Den tomma mängden, oftast betecknad med Ø (ibland används istället någon av beteckningarna {} eller Λ), ä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 objekt ä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
