complete ordered field

[ریاضیات] هیأت مرتب کامل