Claramente, la unión de todos los conjuntos de formula_5 contiene todos los elementos de formula_6.