Problème ensemble, vérification réponse

[Shinji666]

Voici l'enoncé de la question

On définit sur l'ensemble P(E) des parties de l'ensemble E la relation R qui suit
quel que soit des ensemble A et B inclu ds E ARB <---> B = E\A

Déterminer la plus petite relation d'équivalence S contenant R c.a.d tel que

quel que soit des ensemble A et B inclu ds E ARB ----> ASB.


J'ai pensé à ca (*) mais ca n'est suremetn pas juste mais bon, si vous pouviez m'aider

(*) ASB <----> A union B = E