\begin{definition}[Definition:Cardinal Number]
Let $S$ be a set.
The '''cardinal number''' of $S$ is defined as follows:
:$\ds \card S = \bigcap \set {x \in \On : x \sim S}$
where $\On$ is the class of all ordinals.
Compare cardinality.
\end{definition}