injektive Abbildung σ von einer Menge R von Objekten R₁, R₂,…in die natürlichen Zahlen.

Die Objekte R_i aus R setzen sich dabei jeweils aus einem Schlüssel S_i und einer Information I_i zusammen, wobei auf der Menge S der Schlüssel eine Halbordnung bzgl. einer binären Relation ≤ definiert ist. Eine injektive Abbildung σ : R → ℕ ist genau dann eine Sortierung von R, wenn aus S_i ≤ S_j schon σ(R_i) ≤ σ(R_j) folgt.

Siehe auch Sortierverfahren.