Jump to navigation Jump to search
Let $S$ be a set.
Let $\circ: S \times S \to S$ be a binary operation on $S$.
The binary operation $\circ$ is idempotent if and only if:
- $\forall x \in S: x \circ x = x$
- Results about idempotence can be found here.