Definition:Idempotent Mapping