半順序ってx<=yかつy<=xならx=yなのな