Espacios de nombres
Variantes
Acciones

std::relation

De cppreference.com
< cpp‎ | concepts
Definido en el archivo de encabezado <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) (desde C++20)

El concepto relation<R, T, U> especifica que R define una relación binaria sobre el conjunto de expresiones cuyo tipo y categoría de valor son los codificados por T o U.