std::relation
From cppreference.com
 
 
 
 
 
 C++ 
 Feature test macros (C++20)
 Concepts library (C++20)
 Metaprogramming library (C++11)
 Ranges library (C++20)
 Filesystem library (C++17)
 Concurrency support library (C++11)
 Execution control library (C++26)
Concepts library 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
  (C++20)
(C++20)
(C++20)
(C++20)(C++20)
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)(C++20)
(C++20)
relation
(C++20)
(C++20)
(C++20)
 Exposition-only concepts
 (C++20)
Defined in header 
 
 
<concepts> 
 template< class R, class T, class U >
 (1) 
 (since C++20) 
concept relation =
    std::predicate <R, T, T> && std::predicate <R, U, U> &&
The concept relation<R, T, U> specifies that R defines a binary relation over the set of expressions whose type and value category are those encoded by either T or U.
[edit] References
- C++23 standard (ISO/IEC 14882:2024):
-  18.7.5 Concept relation[concept.relation]
 
-  18.7.5 Concept 
- C++20 standard (ISO/IEC 14882:2020):
-  18.7.5 Concept relation[concept.relation]
 
-  18.7.5 Concept