x<yとはf(x)<f(y)であるとき
x=yとはf(x)=f(y)であるとき

このとき
x≦x
x≦y,y≦zならばx≦z
x≦y,y≦xならばx=y
の3つが成り立つよん