ordered group

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