Exercice 10, § 1

Soient X et Y deux parties quelconques d’un ensemble E; on pose $X \top Y = X \cup Y$ si

X ∩ Y = ∅, X ⊔ Y = E si X ∩ Y ≠ ∅; montrer que la loi de composition ainsi définie sur $\mathfrak{P}(E)$ est associative et commutative.