ordered set

[ریاضیات] دسته ی مرتب، مجموعه ی مرتب