index set

Index set

A set whose members index (aka label) members of another set.
Formally, it is the domain of the indexing map:

$$x:I\to X,i\mapsto x$$

where $I$ is the index set and $X$ is the indexed set.
This makes $X$ an indexed family.