⟨library⟩ algorithm that preserves, as appropriate to the particular algorithm, the order of elements