An algorithm where the relative order upon input of items with equal keys is always preserved in the output. Usually a sort algorithm.