Loi Idempotente

La loi selon laquelle l'application d'un même opérateur idempotent à des opérandes identiques donne l'opérande lui-même : pour un connecteur ⊗ idempotent, A ⊗ A = A (exemples : A ∧ A = A, A ∨ A = A ; de même en théorie des ensembles S ∪ S = S).

Propriété d'une opération ou d'un élément telle que l'appliquer plusieurs fois a le même effet que l'appliquer une seule fois. Pour une opération binaire ·, l'idempotence signifie x·x = x pour tout x (ou pour un élément donné). Pour une opération unaire f, idempotence signifie f(f(x)) = f(x).