Ein Algorithmus f heißt Sortiervefahren bezüglich einer Relation auf M, falls für alle f[x1,..., xn] = [y1,..., yn] gilt:
ist eine bijektive Abbildung {1,..., n}{1,..., n},
d. h. von Indizes auf Indizes, mit y(i) = xi.