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.