partially ordered set
noun
-
The ordered pair comprising a set and its partial order.
-
A set that has a given, elsewhere specified partial order.
sorting
noun
-
Ordering.
-
Categorizing.
-
Mending.
How often have the words partially ordered set and sorting occurred in a corpus of books? (source: Google Ngram Viewer )