ordered additive group

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