デデキント切断
全順序集合 K を、一方が他方の全ての元よりも小であるような二つの組に分けたとする。
K = A ∪ B, A ≠ ∅, B ≠ ∅; a ∈ A, b ∈ B ⇒ a < b.
このような組 (A, B) をデデキント切断という。