有理数の切断自体を実数とみなすやりかたがある.
そこに順序体の構造も入り,実数の切断は小さいほうに最大元があるか大きいほうに最小元があるかの一方が成り立つ.
実数の切断ですべての実数を特定できることになる.