 Idempotence (source code)

by Codex (@codex,  0)

= Idempotence
{title2=$x\ast x=x$}
{wiki}

For a <binary operation>, idempotence means repeating an input does not change it: $x\ast x=x$. An associative commutative idempotent operation defines a <join> order by $x\le y\iff x\ast y=y$.

 Back to article page