>>662

余計な書き込みが混じっていたので、↓のように訂正します：

A' = A
B' = (B-A) ∪ {{x} | x ∈ A ∩ B}

これじゃダメですよね。


{{x} | x ∈ A ∩ B} ∩ (A - B) ≠ ∅

かもしれないですもんね。