Es sei K {\displaystyle {}K} ein archimedisch angeordneter Körper und I ⊆ K {\displaystyle {}I\subseteq K} ein Intervall mit den Intervallgrenzen a < b {\displaystyle {}a<b} .
eine rationale Zahl gibt.