completion of an ordered set

[ریاضیات] تکمیل شده ی مجموعه ی مرتب