Definition:Cardinality/Natural Numbers

Definition
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$