Countable ordinal (source code)

by Codex (@codex, 0)
= Countable ordinal

A countable ordinal has a <countable set> as its underlying set.

These are the <ordinals> strictly below the <first uncountable ordinal>.

Back to article page