デデキント切断 - Wikipedia
K = A ∪ B, A ≠ ∅, B ≠ ∅; a ∈ A, b ∈ B ⇒ a < b.
ja.wikipedia.org