In mathematics, an index set is another name for a function domain. A collection indexed by I, often written Ai for i in I (can be said 'for i running over I ') is in effect a function A(i) into some codomain.
Usage for index sets
Index sets are often used in sums (sigma notation) and other such operations; and are common when the Ai are themselves sets rather than numbers, in indexed intersections and unions.
Families
A family is another description of an indexed collection, often used of a family of sets. In contrast to a set of elements, a family can contain an element more than once (that is, the underlying function need not be injective).
The term "family" is also often used when the elements are not members of a (well defined) set. See also the article on the coproduct.
Examples
Usage in category theory
More generally, a functor can be considered as giving rise to an indexed family of objects in a category D, indexed by another category C, and related by morphisms depending on two indices.
See also
