Можете ли вы сформулировать пузырьковую сортировку как моноид или полугруппу?

Учитывая следующий псевдокод для пузырьковой сортировки