Considere o seguinte algoritmo de ordenação, escrito em pseudocódigo:

PROCEDURE Sort;

VAR i, j: index; x: item

BEGIN

FOR i :- 2 TO n DO

FOR j := n TO i BY -1 DO

IF a [j -1] > a [j ] THEN

x := a [ j -1 ] ; a[j-l] := a[j]; a[j] := x

END

END

END

END Sort

Pode-se afirmar que este algoritmo representa uma ordenação