Set theory/Indexed family of sets/Definition

Family of sets

Let ${}I$ be a set, and let, for every ${}i\in I$, a set ${}M_{i}$ be given. Such a situation is called a family of sets

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

The set ${}I$ is called the index set of the family.