Mengentheorie/Indizierte Familie von Mengen/Definition

Mengenfamilie

Es sei $I$ eine Menge und zu jedem  $i\in I$  sei eine Menge $M_i$ gegeben. Eine solche Situation nennt man eine Familie von Mengen

$M_i\text{ , }i\in I.$

Die Menge $I$ heißt dabei die Indexmenge der Mengenfamilie.