Definition:Compact Real Interval

Definition

A compact real interval is a closed interval of the form:

$[a\,.\,.\,b]$

with $a,b\in \R$.

Note on empty set

We do allow $a<b$, that is, the empty set is a compact interval.