Closed real interval (source code)

= Closed real interval

= Closed interval
{synonym}

A bounded closed real interval has the form $[a,b]=\{x\in\mathbb R:a\leq x\leq b\}$.

This is a closed instance of a <real interval>; the general interval concept also includes open and half-open intervals.