Ley Idempotente

La ley de que aplicar el mismo operador idempotente binario a operandos idénticos produce el mismo operando: para un conectivo ⊗ idempotente, A ⊗ A = A (ej.: A ∧ A = A, A ∨ A = A; igualmente S ∪ S = S en teoría de conjuntos).

Propiedad de una operación o elemento tal que aplicar la operación varias veces tiene el mismo efecto que aplicarla una sola vez. Para una operación binaria ·, idempotencia significa x·x = x para todo x (o para un elemento concreto). Para una operación unaria f, idempotencia es f(f(x)) = f(x).