sorting algorithm subgroup of algorithm, 2 assertions