Definition:Infinite Cardinal

Definition
Let $\mathbf a$ be a cardinal.

Then $\mathbf a$ is described as infinite iff:
 * $\mathbf a = \mathbf a + \mathbf 1$

where $\mathbf 1$ is (cardinal) one.