Definition
Family
A family of elements of a set
indexed by an index set is a function Writing
, the family is denoted The index set
labels the elements; the codomain says where they live. The function viewpoint lets the same element appear for several indices, so a family need not be a set: it carries indexing and repetition that a set does not.