the same) as indexing.

More formally, an indexed family is a mathematical function together with its domain and image (that is, indexed families and mathematical functions are technically identical, just points of view are different). Often the elements of the set are referred to as making up the family. In this view, an indexed family is