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.