Archimedisch angeordneter Körper/Ganzzahlige Intervalle bilden disjunkte Vereinigung/Aufgabe

Sei ${}K$ ein archimedisch angeordneter Körper. Zeige, dass die halboffenen Intervalle

${[n,n+1[}={\left\{x\in K\mid x\geq n{\text{ und }}x<n+1\right\}},\,n\in \mathbb {Z} ,$

eine disjunkte Überdeckung von ${}K$ bilden.

Eine Lösung erstellen