Si todo formula_5 fuese idempotente bajo formula_2, entonces la operación en sí se denominaría "operación idempotente".