\begin{definition}[Definition:Real Interval]
Informally, the set of all real numbers between any two given real numbers $a$ and $b$ is called a '''(real) interval'''.
There are many kinds of '''intervals''', each more-or-less consistent with this informal definition.
\end{definition}