ordered group

group with a compatible partial order

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

زمرے:

partially ordered setgroup