7.1.3 保序性