que envía un elemento formula_66 de formula_67 con un subconjunto de formula_1, se denomina "familia" de subconjuntos de formula_1 indicada por formula_67.