An operator A^~ such that (A^~)^2 = A^~ or an element of an algebra x such that x^2 = x.

automorphic number | Boolean algebra | group | idempotent matrix | idempotent number | identity function | semigroup