Bonsoir maganiste
Je crois que oui suffit de faire comme ça :
x £ (A inter H)<=>x£A et x£H =>x£B (A est inclu dans B) et x£C (H inclu dans C)<=> x£(B inter C) et puisqu'on a une implication alors ce n'est qu'une inclusion !
de même pour l'union
Bonne chance
P.S: C'est le niveau supérieur ?
(ne t'énerve pas
)