A sequence is
sorted with respect to a comp and proj
for a comparator and projection
comp and
proj
if for every iterator
i pointing to the sequence and
every non-negative integer
n
such that
i + n is a valid iterator
pointing to an element of the sequence,
bool(invoke(comp, invoke(proj, *(i + n)), invoke(proj, *i)))
is
false.