std::relation

来自cppreference.com
< cpp‎ | concepts
定义于头文件 <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>;
(C++20 起)

概念 relation<R, T, U> 指定 R 定义在类型和值类别为 TU 所编码的表达式上的二元关系。