ordered group

group with a compatible partial order

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

Κατηγορίες:

partially ordered setgroup