Espacios de nombres
Variantes

std::relation

De cppreference.com
<tbody> </tbody>
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.