# 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 Ø.

The symbol $\O$ as presented here is a relatively new invention. Books prior to approximately $1960$ or $1970$ tend to use something less distinctive:

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

- Other sources use $0$ (that is, the zero digit).

- Yet others use $O$ (the capital letter).

None of these are recommended.

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