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