Angeordneter Körper/Intervallschachtelung/Definition

Aus Wikiversity
Intervallschachtelung

Es sei ein angeordneter Körper. Eine Folge von abgeschlossenen Intervallen

in heißt eine Intervallschachtelung, wenn für alle ist und wenn die Folge der Intervalllängen, also

gegen konvergiert.