# Definition:Empty Set/Notation

Jump to navigation
Jump to search

## Notation for the Empty Set

The symbols $\O$ and $\emptyset$ used for **the empty set** are properly considered as stylings of $0$ (zero), and not variants of the Greek **Phi**: $\Phi, \phi, \varphi$.

Some sources maintain that it is a variant on the Norwegian / Danish / Faeroese letter Ø.

Some sources use $\Box$ as the symbol for the **empty set**, but this is rare.

Other sources use $0$ (that is, the zero digit), but this is not recommended for readily apparent reasons.

The preferred symbol on $\mathsf{Pr} \infty \mathsf{fWiki}$ is $\O$ for its completely unambiguous interpretation and aesthetically pleasing, clean presentation.

## Sources

- 1993: Keith Devlin:
*The Joy of Sets: Fundamentals of Contemporary Set Theory*(2nd ed.) ... (previous) ... (next): $\S 1$: Naive Set Theory: $\S 1.2$: Operations on Sets