Definition:Class of All Cardinals

Definition
The class of cardinals is the class consisting of all cardinal numbers:
 * $\NN = \set {x \in \On: \exists y: x = \size y}$

where $\size y$ denotes the cardinal number corresponding to $y$.