¿Puedes formular el Bubble sort como un monoide o semigroup?

Dado el siguiente pseudocódigo para el bubble-sort procedure bubbleSort( A : list of sortable items ) repeat swapped = false for i = 1 to length(A) - 1 inclusive do: /* if this pair is out of order */ if A[i-1] > A[i] then /* swap them and ...