Combinar dos o más secuencias ordenadas de datos en una sola secuencia ordenada. Definición formal: por razones de simplicidad, deja que la entrada sea dos secuencias, A = (un ₁,..., _n) y B = (b ₁,..., b _m), cada uno se clasifican según un orden total, ≤. la salida es una sola secuencia, merge(A,B), que es una permutación ordenada (₁,..., _n, b ₁,..., b _m).