\begin{definition}[Definition:Real Interval/Midpoint]
The '''midpoint''' of a real interval is the number:
: $\dfrac {a + b} 2$
where $a$ and $b$ are the endpoints of the interval.
Category:Definitions/Real Intervals
\end{definition}