std:: equivalence_relation

헤더에 정의됨 <concepts>
template < class R, class T, class U > concept equivalence_relation = std:: relation < R, T, U > ;		(C++20부터)

개념 equivalence_relation<R, T, U> 는 relation R 가 인수들에 대해 동치 관계 를 부과함을 명시합니다.

의미론적 요구사항

관계 r 은 다음 조건을 만족할 경우 동치 관계입니다

• 반사적입니다: 모든 x 에 대해 r(x, x) 가 true 입니다;
• 대칭적입니다: 모든 a 와 b 에 대해 r(a, b) 가 true 인 것은 r(b, a) 가 true 인 것과 동치입니다;
• 추이적입니다: r(a, b) && r(b, c) 이면 r(a, c) 입니다.

참고 사항

relation 와 equivalence_relation 사이의 구분은 순전히 의미론적입니다.

참조문헌