Es sei K {\displaystyle {}K} ein angeordneter Körper. Eine Teilmenge T ⊆ K {\displaystyle {}T\subseteq K} heißt ein Abschnitt, wenn für alle a , b ∈ T {\displaystyle {}a,b\in T} mit a ≤ b {\displaystyle {}a\leq b} und jedes x ∈ K {\displaystyle {}x\in K} mit a ≤ x ≤ b {\displaystyle {}a\leq x\leq b} auch x ∈ T {\displaystyle {}x\in T} ist.
