Mengenfamilie/Vereinigung/Definition

Vereinigung zu einer Mengenfamilie

Es sei ${}M_{i}$, ${}i\in I$, eine Familie von Teilmengen einer Grundmenge ${}G$. Dann heißt

${}\bigcup _{i\in I}M_{i}={\left\{x\in G\mid {\text{es gibt ein }}i\in I{\text{ mit }}x\in M_{i}\right\}}\,$

die Vereinigung der Mengen.