Heine-Borel-Überdeckungssatz

Satz über Punktmengen des n-dimensionalen Raums Rⁿ aller n-Tupel: Ist jedem Punkt x einer abgeschlossenen, beschränkten Menge A von Punkten des Rⁿ eine Umgebung U(x) zugeordnet, so kann man A mit endlich vielen dieser Umgebungen vollständig überdecken; d. h., man kann endlich viele Punkte x₁, x₂, ..., x_k aus A