16/08/20 13:18:24.28 9TVbDO6E.net
>>662
余計な書き込みが混じっていたので、↓のように訂正します：
A' = A
B' = (B-A) ∪ {{x} | x ∈ A ∩ B}
これじゃダメですよね。
{{x} | x ∈ A ∩ B} ∩ (A - B) ≠ ∅
かもしれないですもんね。
16/08/20 13:18:24.28 9TVbDO6E.net
>>662
余計な書き込みが混じっていたので、↓のように訂正します：
A' = A
B' = (B-A) ∪ {{x} | x ∈ A ∩ B}
これじゃダメですよね。
{{x} | x ∈ A ∩ B} ∩ (A - B) ≠ ∅
かもしれないですもんね。