Hugtakasafn

Á sama hátt og ílát getur verið tómt, þ.e. innihaldið engan hlut, getur mengi verið tómt, þ.e. haft ekkert stak. Til er nákvæmlega eitt slíkt mengi, sem kallast tóma mengið og er táknað með $\displaystyle \varnothing$. Það má rita á forminu \[ \varnothing = \{ \; \}. \]