Definition:Idempotent Element