Así, aunque desde el punto de vista conjuntista formula_1 y formula_2 sean dos conjuntos diferentes, desde el punto de vista algebraico formula_1 y formula_2 son el mismo objeto.