On a le théorème : E inclus dans F IMPLIQUE P(E) inclus dans P(F)
Démonstration évidente.
Mais je me demandais pourquoi il ne parlent pas équivalence!
Pour moi, P(E) inclus dans P(F) IMPLIQUE E inclus dans F.
Y a t il un contre exemple qui justifie la non équivalence ?
-----