Sets of cardinality greater than one are recursively partitioned into two
subsets
The partitioning uses a key from the set as a pivot. Values smaller than
the pivot are sent to one subset, and values greater than the pivot are
sent to the other subset.