Indexed family

In mathematics, an indexed family is a collection of values associated with indices. For example, a family of real numbers, indexed by the integers is a collection of real numbers, where each integer is associated with one of the real numbers.

Formally, an indexed family is the same thing as a mathematical function; a function with domain J and codomain X is equivalent to a family of elements of X indexed by elements of J. The difference is conceptual; indexed families are interpreted as collections instead of as functions. Every element of the image of the family's underlying function is an element of the family.