Definition. (Durchschnitt und Vereinigung von Mengensystemen)

(1) $⋂ M$ heißt Durchschnitt von $M$

=Df

⋂ M = {x :

für jedes

X \in M

ist

x \in X}

Bez.: $⋂ M = ⋂_{X \in M} X$

(2) $⋃ M$ heißt Vereinigung von $M$

=Df

⋃ M = {x :

es existiert ein

X \in M,

so daß

x \in X}

Bez.: $⋃ M = ⋃_{X \in M} X$