更改

**[[自反性]]，认为任一方案x都不差于本身；

**传递性，若认为方案x不差于y，并且y不差于z，则x应不差于z；

换言之，一个偏好排序满足：所有供选方案都可用">"、"<"、"="排出无歧义的不等式序列，X>Y表示认为供选方案X优于供选方案Y，X=Y表示认为供选方案X与供选方案Y无差异。