ordered group

group with a compatible partial order

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

Kategorie:

partially ordered setgroup