Formalmente, si formula_1 es un magma, es decir, un conjunto con una operación binaria formula_2, entonces un elemento formula_3 se dice idempotente si formula_4.