# Definition:Compact Real Interval

$[a\,.\,.\,b]$
with $a,b\in \R$.
We do allow $a<b$, that is, the empty set is a compact interval.