# Category:Indexed Families

The codomain $S$ consisting of the terms $\left \langle {x_i} \right \rangle_{i \mathop \in I}$, along with the indexing function $x$ itself, is called a family of elements of $S$ indexed by $I$.