Es sei K {\displaystyle {}K} ein angeordneter Körper. Eine Folge von abgeschlossenen Intervallen
in K {\displaystyle {}K} heißt eine Intervallschachtelung, wenn I n + 1 ⊆ I n {\displaystyle {}I_{n+1}\subseteq I_{n}} für alle n ∈ N {\displaystyle {}n\in \mathbb {N} } ist und wenn die Folge der Intervalllängen, also
gegen 0 {\displaystyle {}0} konvergiert.