\begin{definition}[Definition:Empty Set]
The '''empty set''' is a set which has no elements.
That is, $x \in \O$ is false, whatever $x$ is.
It is usually denoted by some variant of a zero with a line through it, for example $\O$ or $\emptyset$, and can always be represented as $\set {}$.
\end{definition}