<concepts>
template< class R, class T, class U > concept equivalence_relation = std::relation<R, T, U>;
概念 equivalence_relation<R, T, U> 指定
equivalence_relation<R, T, U>