std::relation

提供: cppreference.com

ヘッダ `<concepts>` で定義
template <class R, class T, class U> concept relation = std::predicate<R, T, T> && std::predicate<R, U, U> && std::predicate<R, T, U> && std::predicate<R, U, T>;	(1)	(C++20以上)

コンセプト relation<R, T, U> は R が T または U の表す型および値カテゴリを持つ式の集合に対して二項関係を定義することを表します。