\begin{definition}[Definition:Real Interval/Closed]
Let $a, b \in \R$.
The '''closed (real) interval''' from $a$ to $b$ is defined as:
:$\closedint a b = \set {x \in \R: a \le x \le b}$
\end{definition}