Um programador de sistemas computacionais está utilizando um algoritmo de ordenação que trabalha percorrendo um conjunto de elementos diversas vezes, e, a cada passagem, aloca para o topo o maior elemento da sequência, segundo uma lógica segura e pré-estabelecida. Esse algoritmo é o: