Definition. Idempotence (of binary operators) [dm-000D]Liam O'Connor A binary operator \bullet is idempotent iff, for all x, x \bullet x = x.