建立一种顺序关系的二元谓词