Tomma mängden

Den tomma mängden, oftast betecknad med ∅ (ibland används i stället beteckningen {}), är den mängd som inte innehåller några element. Den är delmängd till varje annan mängd och till sig själv. 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 bara en tom mängd. Detta följer av extensionalitetsaxiomet som säger att två mängder är lika om de har samma element, det vill säga A = B om x ∈ A ⇔ x ∈ B. Om A och B är tomma är x ∈ A ⇔ x ∈ B trivialt sant, vilket medför A = B. Symbolen ∈ eller $\in$ beskriver elementrelationen tillhör.

Se även

• Mängdteori