Ordinal interval
= Ordinal interval
For $\alpha<\beta$, the ordinal interval $\beta\setminus\alpha$ is the ordered tail from $\alpha$ inclusive to $\beta$ exclusive.
= Ordinal interval
For $\alpha<\beta$, the ordinal interval $\beta\setminus\alpha$ is the ordered tail from $\alpha$ inclusive to $\beta$ exclusive.