Category:Empty Class

From ProofWiki
Jump to navigation Jump to search

This category contains results about the empty class.


A class is defined as being empty if and only if it has no elements.

That is:

$\forall x: x \notin A$

or:

$\neg \exists x: x \in A$


The empty class is usually denoted $\O$ or $\emptyset$.