Definition:Class of All Cardinals

Definition
The class of cardinals is the class consisting of all cardinal numbers, that is:
 * $\mathcal N = \left\{{x \in \operatorname{On}: \exists y: x = \left|{y}\right|}\right\}$

where $\left|{y}\right|$ denotes the cardinal number corresponding to $y$.