Definition:Idempotent Relation