Indexed Family - Subfamily

A family (Bi)i∈J is a subfamily of a family (Ai)i∈I, if and only if J is a subset of I and for all i in J

Bi = Ai

Read more about this topic:  Indexed Family