A given [[Binary Operation|binary operation]] $\circ$ on a [[Set|set]] $S$ is consdiered [[Idempotent Property|idempotent]] [[Biconditional|if and only if]] [[Universal Quantifier|for all]] $a\in S$, $a\circ a = a$ $\huge \forall a; a \circ a = a $