Um algoritmo de comparação é um tipo de algoritmo de ordenação que lê apenas os elementos da lista através de uma operação de comparação abstrata única (muitas vezes um operador "menor ou igual a"), que determina qual dos dois elementos devem ocorrer em primeiro lugar na lista final de classificação. A única exigência é que o operador cumpra a duas das propriedades de uma ordem total: 1. * se a ≤ b e b ≤ c então a ≤ c (transitividade) 2. * para todo a e b, ou a ≤ b ou b ≤ a (totalidade ou tricotomia).