Algorithm Class: Sorting algorithms over finite sequences under total orders

Original label: Algorithm Class: Sorting algorithms over finite sequences under total orders