\begin{definition}[Definition:Idempotence]
'''Idempotence''' is a property of an algebraic system, or an element of an algebraic system such that:
:$E \circledcirc E = E$
for an object $E$ and an operation $\circledcirc$.
Let $S$ be a set.
\end{definition}