Los algoritmos de ordenamiento estable mantienen un relativo preorden total.