cpp/iterator/indirectly comparable

The concept specifies the fundamental algorithm requirement for comparing values across two independent ranges.

Semantic requirements
is modeled only if all concepts it subsumes are modeled.