One of the basic actions applicable to a set S on whose elements a total ordering ≤ is defined; when applied in the form
where
a is a member of
S, S is partitioned into two disjoint sets
S1 and
S2: all the elements in
S1 are less than or equal to
a and all those in
S2 are greater than
a.
See also operations on sets.