Autres opérations
Définition :
Différence de deux parties :
|  |
La propriété
est vraie si et seulement si
est vraie et
est fausse.
Exemple :
Pour toute partie
de
:
.
. 
. 
.
Définition :
Différence symétrique de deux parties :
|  |
La propriété
est vraie si et seulement si la propriété
ou (exclusif) la propriété
est vraie (elles ne peuvent pas être vraies toutes les deux).
Exemple :
Pour toute partie
de
:
.
.
.
.
