> It preserves ordering for keys with the same value

That's called a stable sort, and it's a standard property present in many sorting algorithms.