Angeordneter Körper/Abschnitt/Definition

Abschnitt

Es sei $K$ ein angeordneter Körper. Eine Teilmenge $T\subseteq K$ heißt ein Abschnitt, wenn für alle $a,b\in T$ mit $a\le b$ und jedes $x\in K$ mit $a\le x\le b$ auch $x\in T$ ist.