set-theory Definition Family A family of elements in a set X indexed by an index set I is a function f:I→X, written (xi)i∈I,xi=f(i).