>>45
x∈(X×Y)-(A×B)
⇔ x∈(X×Y) かつ x∈(A×B)^c
⇔ x∈(X×Y) かつ x∈(A^c×B)∪(A×B^c)
⇔ x∈{(X×Y)∩(A^c×B)}∪{(X×Y)∩(A×B^c)}
⇔ x∈{(X∩A^c)×(Y∩B)}∪{(X∩A)×(Y∩B^c)}
⇔ x∈{(X-A)×Y}∪{X×(Y-B)}