The IndirectlyComparable concept specifies the common requirements of algorithms that compare values from two different sequences.
template <class I1, class I2, class R = equal_to<>, class P1 = identity, class P2 = identity> concept bool IndirectlyComparable = IndirectRelation<R, projected<I1, P1>, projected<I2, P2>>;