Definition:Empty Set

Definition
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 {}$.

Axiomatic Set Theory
The concept of the empty set is axiomatised in the Axiom of the Empty Set in Zermelo-Fraenkel set theory:

Also known as
The empty set is sometimes called the null set, but this name is discouraged because there is another concept for null set which ought not to be confused with this.

Some sources call the empty set the vacuous set.

Others call it the void set.

Also see

 * Empty Set is Unique for a proof that it is justifiable to refer to $\O$ as the empty set.


 * Definition:Non-Empty Set, a common phrasing used to denote any set but the empty set.