Шаг 1. Упорядочиваемое множество разбивается на два непересекающихся подмножеств, содержащих почти одинаковое количество элементов.
Шаг 2. Для каждого из множеств разбиение повторяется до тех пор, пока множества не будут содержать не более двух элементов. После этого сравниваются элементы полученных множеств и, если необходимо, выполняется операция обмена.
Шаг 3. Полученные упорядоченные множества попарно сливаются (двоичное слияние), пока не получится множество, которое будет упорядочено.
