Verfahren, um eine Liste von Objekten R₁,…,R_n, die sich jeweils aus einem Schlüssel S_i und einer Information I_i zusammensetzen, in eine sortierte ListeR_j1,…,R_jn der Objekte R₁,…,R_n zu überführen.

Man unterscheidet zwischen allgemeinen Sortierverfahren und speziellen Sortierverfahren. Allgemeine Sortierverfahren nutzen während der Berechnung der Sortierung nur die auf der Menge der Schlüssel definierte totale Ordnung ≤ aus. Typische Vertreter für diese Klasse von Sortierverfahren sind die Verfahren Heapsort, Mergesort (Sortieren durch Mischen), Quicksort und Sortieren durch Maximumssuche bzw. durch Minimumssuche.

Sortierverfahren, die nicht nur die auf der Menge der Schlüssel definierte totale Ordnung ≤ ausnutzen, sondern auch die bei der gegebenen Probleminstanz vorhandene spezielle Struktur der Schlüssel, werden spezielle Sortierverfahren genannt. Typische Vertreter sind die Verfahren countingsort zum Sortieren ganzer Zahlen aus einem festen Bereich [1..k], Bucketsort zum Sortieren reeller Zahlen, und das Sortieren durch Fächerverteilung zum Sortieren von endlichen Wörtern über einem endlichen Alphabet.

Allgemeine Sortierverfahren benötigen zum Sortieren von n Objekten im schlechtesten Fall wenigstens [log₂n!] Vergleiche, also ordnungsmäßig wenigstens n· [log₂n] Schritte. Spezielle Sortierverfahren können hingegen eine Laufzeit haben, die linear in der Anzahl der zu sortierenden Wörter ist.