【徹底解説】切断の定義

全順序集合$K$の空でない部分集合の順序対$\langle A,B\rangle$が次をみたすとする。

• $K=A\cup B$
• $A\cap B=\phi$
• $a\in A, b\in B~\Rarr~a<b$

このとき，$\langle A,B\rangle$を$K$の切断という。