Idempotent (source code)

= Idempotent
{wiki=Idempotent_(ring_theory)}

An element $e$ is idempotent when $e^2=e$.