Si representamos el producto formula_1 por formula_2, entonces formula_3 es idempotente sólo si: formula_4.