Es sei I {\displaystyle {}I} eine Menge und zu jedem i ∈ I {\displaystyle {}i\in I} sei eine Menge M i {\displaystyle {}M_{i}} gegeben. Eine solche Situation nennt man eine Familie von Mengen
Die Menge I {\displaystyle {}I} heißt dabei die Indexmenge der Mengenfamilie.
