Idempotence, matematik veya bilgisayar bilimlerinde bir işlemin sahip olabileceği bir özelliktir. Kabaca, işlemin sonucu değiştirmeden tekrar tekrar gerçekleştirilebileceği anlamına gelir.

İdempotans kelimesi Benjamin Pierce tarafından cebir çalışırken bu kavramı gördüğü için ortaya atılmıştır.

Farklı işlem türlerinden bahsediyorsak anlam farklıdır. Bir işlemin alabileceğinden daha fazla öğeyi tanımlamak için de kullanılabilir:

  • f olarak etiketlediğimiz bir tekli işlem (veya fonksiyon) için, f'nin etki alanındaki herhangi bir x için şu doğruysa f'nin idempotent olduğunu söyleriz: f(f(x)) = f(x). Örneğin, mutlak değer: abs(abs(x)) = abs(x).

f(f(c)) = f(c) ise f tanım kümesindeki bir c elemanının idempotent bir eleman olduğunu söyleriz. Bu, eğer f tanım kümesinin her elemanı bir idempotent eleman ise f'in idempotent olduğu anlamına gelir.

  • olarak etiketlediğimiz ikili bir işlem için, ikili işlemin alabileceği herhangi bir x için şu doğruysa * 'in idempotent olduğunu söyleriz: x * x = x.

c * c = c ise * 'nin alabileceği bir c elemanının * için idempotent bir eleman olduğunu söyleriz. Örneğin, 1 sayısı çarpma işlemi için idempotent bir elemandır çünkü 1 kere 1 1'dir.