Definition:Finite Cardinal
Jump to navigation
Jump to search
Definition
Let $\mathbf a$ be a cardinal.
Then $\mathbf a$ is described as finite if and only if:
- $\mathbf a < \mathbf a + \mathbf 1$
where $\mathbf 1$ is (cardinal) one.
That is, such that $\mathbf a \ne \mathbf a + \mathbf 1$.
Sources
- 1975: T.S. Blyth: Set Theory and Abstract Algebra ... (previous) ... (next): $\S 8$