Hallo jf,
X o Y = ( X ∪ Y ) \ ( X ∩ Y )
∅ ist neutrales Element, denn
X o ∅ = ( X ∪ ∅ ) \ ( X ∩ ∅ ) = X \ ∅ = X für alle x ∈ P(M)
X ist inverses Element zu X, denn
X o X = ( X ∪ X ) \ ( X ∩ X ) = X \ X = ∅ für alle x ∈ P(M)
----------
Wegen der Kommutativität von ∪ und ∩ gilt offensichtlich das Kommutativgesetz.
Assoziativgesetz: (XoY) o Z = X o (YoZ) ?
[ [ ( X ∪ Y ) \ ( X ∩ Y ) ] ∪ Z ] ] \ [ [ ( X ∪ Y ) \ ( X ∩ Y ) ] ∩ Z ] ]
= [ X ∪ [ ( Y ∪ Z ) \ ( Y ∩ Z ) ] ] \ [ X ∩ [ ( Y ∪ Z ) \ ( Y ∩ Z ) ] ] ?
Die beiden Seiten der Gleichung ergeben im Venn-Diagramm jeweils
Damit ist (M,o) eine abelsche Gruppe
Info:
https://de.wikipedia.org/wiki/Abelsche_Gruppe
Gruß Wolfgang