Definition:Compact Real Interval

From ProofWiki
Jump to: navigation, search

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.