order type

[ریاضیات] نوع ترتیب