Assertion: algorithm's output | /r/CapableOf | satisfy two conditions
Facets:
value: more formally
type: MANNER
Source sentences:
text: More formally, the output of any sorting algorithm must satisfy two conditions: