cardの定義に沿って示したいなら、
card(A-B)=card(B-A)を実現する全単射を
f:(A-B)→(B-A)として、g:A→Bを
x∈A∩Bのときg(x)=x、
そうでないときg(x)=f(x)
で定義する。