Zu je zwei Elementen x < y {\displaystyle {}x<y} aus K {\displaystyle {}K} gibt es eine rationale Zahl n / k {\displaystyle {}n/k} mit