Folosiți o diagramă Venn – Euler și demonstrați că, pentru orice două
submulțimi X și Y ale unei mulțimi Z, mulțimile X ∖ Y și (X ∪ Y) ∩
CZ (Y) trebuie să fie egale.