ordered group

group with a compatible partial order

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

ক্যাটাগরি:

partially ordered setgroup