usual order relation

[ریاضیات] نسبت ترتیبی معمولی، رابطه ی ترتیب معمولی