Sei \( X \) eine Menge. Zeigen Sie, dass die Potenzmenge \( \mathcal{P}(X) \) von \( X \) zusammen mit der Abbildung
\( \triangle: \mathcal{P}(X) \times \mathcal{P}(X) \rightarrow \mathcal{P}(X), \quad(A, B) \mapsto A \triangle B:=(A \backslash B) \cup(B \backslash A) \)
eine abelsche Gruppe ist.