1.9.3  Die topologische Struktur: Die Menge genügt dem Intervallschachtelungsaxiom (Vollständigkeitsaxiom).

Für an,bn sei

In = [an,bn] = {x |an x bn},n .

Es gelte zudem

nan an+1 bn+1 bn.

Daraus folgt nIn = n[an,bn], d.h. dieser Durchschnitt enthält zumindest eine reelle Zahl. Diese Eigenschaft, die sogenannte Vollständigkeit von wird im weiteren Verlauf der Vorlesung bewiesen.