\begin{definition}[Definition:Real Interval/Half-Open/Right]
Let $a, b \in \R$ be real numbers.
The '''right half-open (real) interval''' from $a$ to $b$ is the subset:
:$\hointr a b := \set {x \in \R: a \le x < b}$
\end{definition}