Problème ensembliste

[Abilys38]

Merci

[Abilys38]

Soit Λ un ensemble de P(EnF). Si Λ appartient à P(EnF), alors Λ appartient et à P(E), et à P(F). Donc P(EnF) c P(E) n P(F)

Par ailleurs, si Λ est contenu à la fois dans P(E) et dans P(F), Λ appartient à P(EnF).
Donc P(E) n P(F) c P(EnF)

Conclusion: P(E) n P(F) = P(EnF)

[Robot]

Par ailleurs, si Λ est contenu à la fois dans P(E) et dans P(F), Λ appartient à P(EnF).

Confusion entre "appartient" et "est contenu dans".
La notion première est l'appartenance .
L'inclusion ("être contenu dans", notée ) se définit à partir de l'appartenance :

Par ailleurs, " est contenu dans " est synonyme de " appartient à ". Autrement dit,


La phrase de toi que j'ai citée est donc incorrecte. En voici une version correcte :
Par ailleurs, si appartient , est contenu à la fois dans et dans , et donc appartient à .

[Abilys38]

Ok merci !! Je prend note de tout cela. Merci pour votre temps