Consideremos el subconjunto formula_1 de los complejos, donde "i = -1".