(U (M aus M) M)c = ∩ (M aus M) Mc
besser wohl zur Unterscheidung:
(U (A aus M) A)c = ∩ (A aus M) Ac
in Worten:
Das Komplement von der Vereinigung aller Mengen A aus dem System M
ist gleich demDurchschnitt aller Komplemente Ac zu den Mengen des Systems.
Also nimmst du an, ein x sei aus dem erstgenannten Komplement,
dann gehört x zu keiner der Mengen A des Systems
ist also im Komplement jeder Menge des Systems und
damit auch im Durchschnitt aller Komplemente.
umgekehrt so ähnlich