Saya mau tau Definisi dari Idempoten

Suatu elemen  dari sebuah himpunan  yang dilengkapi dengan operator biner  dikatakan idempoten jika berlaku . Operator biner  dikatakan idempoten jika  untuk semua elemen di .