A 〜 A'
B 〜 B'

全単射 f_A : A → A'
全単射 f_B : B → B'

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

これじゃダメですよね。


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

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