Is an algorithm to efficiently take a sequence of possibly unsorted elements x and sort them such that ∀i,j∈Ni<j⟹x[i]≤x[j]