cpp/experimental/ranges/concepts/Relation

The concept specifies that  defines a binary relation over the set of expressions whose type and value category are those encoded by either  or.

Given
 * , an expression such that is ,
 * , an expression such that is ,
 * , an expression such that is ,

and let be ,

then is satisfied only if
 * and