Öppna huvudmenyn
Uppslagsordet ”∅” leder hit. För bokstaven med liknande utseende, se Ø.

Den tomma mängden 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 om . Om A och B är tomma är trivialt sant, vilket medför . Symbolen beskriver elementrelationen tillhör.

Se ävenRedigera