In abstract algebra, an element x of a set with a binary operation * is called an idempotent element (or just an idempotent) if . This reflects the idempotence of the binary operation on that particular element.