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.