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