es claramente una relación de equivalencia sobre formula_1, y dentro del contexto de la teoría de relaciones suele hacerse referencia a ella mediante el término "relación trivial".