ordered group

group with a compatible partial order

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

دسته بندی ها:

partially ordered setgroup