Merge(A, p, ą, r)
wybieramy mniejszy z dwóch elementów na początku sekwencji A [p- . g] oraz A[q+1. . r] i wkładamy go do sekwencji wynikowe j, przestawiamy odpowiedni znacznik. Powtarzamy to aż do wyczerpania się elementów. Rezultat kopiujemy do A[p. . r] .