\begin{definition}[Definition:Cardinality/Natural Numbers]
When the natural numbers are defined as von Neumann construction of natural numbers, the cardinality function can be viewed as the identity mapping on $\N$.
That is:
:$\forall n \in N: \card n := n$
\end{definition}