ordered group

group with a compatible partial order

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

Catégories :

partially ordered setgroup