LWG3713 Sorted with respect to comparator (only)

[alg.sorting.general] Add index for definition of a sequence sorted with respect to a comparator and projection

Author: burblebee

source/algorithms.tex

@@ -6206,6 +6206,7 @@
 \end{note}
 
 \pnum
+\indexdefn{sequence!sorted!with respect to a comparator and projection}%
 A sequence is \term{sorted with respect to a \tcode{comp} and \tcode{proj}}
 for a comparator and projection \tcode{comp} and \tcode{proj}
 if for every iterator \tcode{i} pointing to the sequence and
@@ -6217,6 +6218,13 @@
 \end{codeblock}
 is \tcode{false}.
 
+\pnum
+\indexdefn{sequence!sorted!with respect to a comparator}%
+A sequence is \term{sorted with respect to a comparator} \tcode{comp}
+for a comparator \tcode{comp}
+if it is sorted with respect to
+\tcode{comp} and \tcode{identity\{\}} (the identity projection).
+
 \pnum
 A sequence \range{start}{finish} is
 \term{partitioned with respect to an expression} \tcode{f(e)}