se nota formula_5 el conjunto que solo contiene formula_4: