Tomma mängden
Från Wikipedia
(Omdirigerad från Den tomma mängden)
- Uppslagsordet ∅ leder hit. För bokstaven med liknande utseende, se Ø.
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 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
