Assertion: algorithm's output | /r/HasProperty | permutation
Facets:
Source sentences:
text: The output is in nondecreasing order (each element is no smaller than the previous element according to the desired total order); The output is a permutation (a reordering, yet retaining all of the original elements) of the input.