std::equivalence_relation