Equivalence :

Montrons l'implication

Comme on a

or

Donc et

Montrons la réciproque :

Si soit un élément de

appartient à et donc à et il n'appartient pas à Donc est élément de On a donc montré