<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>;
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.
relation<R, T, U>
R
T
U