# Category:Cardinal Class

$\NN = \set {x \in \On: \exists y: x = \size y}$
where $\size y$ denotes the cardinal number corresponding to $y$.