Idempotent_relation