cpp/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.