Idempotence adalah properti yang mungkin dimiliki oleh suatu operasi dalam matematika atau ilmu komputer. Ini secara kasar berarti bahwa operasi tersebut dapat dilakukan lagi dan lagi tanpa mengubah hasilnya.

Kata idempotence dibuat oleh Benjamin Pierce karena ia melihat konsep tersebut ketika mempelajari aljabar.

Maknanya berbeda jika kita berbicara tentang berbagai jenis operasi. Ini juga bisa digunakan untuk mendeskripsikan elemen-elemen daripada yang bisa diambil oleh suatu operasi:

  • Untuk operasi unary (atau fungsi), yang kita beri label f, kita katakan bahwa f adalah idempoten jika untuk setiap x dalam domain f, benar bahwa: f(f(x)) = f(x). Sebagai contoh, nilai mutlak: abs(abs(x)) = abs(x).

Kita mengatakan bahwa elemen c dalam domain f adalah elemen idempoten jika f(f(c)) = f(c). Ini berarti bahwa f adalah idempoten jika setiap elemen dari domainnya adalah elemen idempoten.

  • Untuk sebuah operasi biner, yang kita beri label *, kita katakan bahwa * adalah idempoten jika untuk setiap x yang dapat diambil oleh operasi biner berikut ini adalah benar: x * x = x.

Kita mengatakan bahwa elemen c yang dapat diambil * adalah elemen idempoten untuk * jika c * c = c. Sebagai contoh, bilangan 1 adalah elemen idempoten untuk perkalian karena 1 kali 1 adalah 1.