ordered group

group with a compatible partial order

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

Категории:

partially ordered setgroup