Definition:Real Interval/Midpoint

Definition
The midpoint of a real interval is the number:
 * $\dfrac {a + b} 2$

where $a$ and $b$ are the endpoints of the interval.