そこで、この方法を少し修正して次のように順序型を定義する: