donde formula_17 cualquier elemento de un conjunto formula_30.