underlying ordered set

[ریاضیات] مجموعه ی مرتب زیربنا