Idempotenzgesetz

Das Gesetz, dass die Anwendung desselben idempotenten Operators auf identische Operanden das Operanden selbst ergibt: Für einen idempotenten Operator ⊗ gilt A ⊗ A = A (Beispiele: A ∧ A = A, A ∨ A = A; ebenso S ∪ S = S in der Mengenlehre).

Die Eigenschaft einer Operation oder eines Elements, dass mehrfache Anwendung denselben Effekt hat wie eine einmalige Anwendung. Für eine binäre Operation · bedeutet Idempotenz x·x = x für alle x (oder für ein bestimmtes Element). Für eine unäre Operation f gilt f(f(x)) = f(x).