Definition:Ordinal Space/Open/Uncountable

Definition
Let $\Omega$ denote the first uncountable ordinal.

The uncountable open ordinal space on $\Omega$ is the particular case of an open ordinal space $\left[{0 \,.\,.\, \Gamma}\right)$ where $\Gamma = \Omega$.

That is, it is the set $\left[{0 \,.\,.\, \Omega}\right)$ of all ordinal numbers (strictly) less than $\Omega$, together with the order topology.

Also see

 * Definition:Countable Open Ordinal Space
 * Definition:Countable Closed Ordinal Space


 * Definition:Uncountable Closed Ordinal Space