동치관계,equivalence_relation