ordered group

group with a compatible partial order

en-GB/ˈɔːdəd ˈɡɹuːp/
en-US/ˈɔɹdɚd ˈɡɹup/

分类：

partially ordered setgroup