Mengensystem/Mengenalgebra und Unterring/Aufgabe

Es sei ${}M$ eine Menge und ${}{\mathcal {R}}$ ein Mengensystem auf ${}M$. Zeige, dass ${}{\mathcal {R}}$ genau dann eine Mengenalgebra ist, wenn es ein Unterring des

Potenzmengenringes ${}({\mathfrak {P}}\,(M),\triangle ,\cap )$ ist.

Eine Lösung erstellen