Equivalence :

Si

L'inclusion réciproque est toujours vraie.

Donc si alors

Réciproque :

Si tout élément de est élément de et donc de

Ce qui démontre l'équivalence