整列をしたときに、キーが同一のデータについては、整列開始前と整列後で同じ順序に並んでいること。