Direktní součet podprostorů, direktní součet podprostorů definuje projekci do každého z nich. Průnik do sebe vnořených uzavřených intervalů je neprázdný. Každá posloupnost v uzavřeném intervalu obsahuje konvergentní podposloupnost. Dvě ekvivalentní definice kompaktnosti v metrickém prostoru.