Definition:Countable Ordinal

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\alpha$ be an ordinal.


Then $\alpha$ is said to be countable if and only if it is a countable set.


Also see


Sources