 Ordinal interval

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