全順序集合 Q で
Q = A∪B、a∈A かつ b∈B ⇒ a＜b
となるように分ける分け方が |Q| より遥かに多いって
冷静に考えるとちょっと意味不明だよね