Från Rilpedia

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

Se även

• Mängdteori