std::indirectly_comparable - cppreference.com

template< class I1, class I2, class Comp,
          class Proj1 = std::identity, class Proj2 = std::identity >
concept indirectly_comparable =
    std::indirect_binary_predicate<Comp, std::projected<I1, Proj1>, std::projected<I2, Proj2>>;