ordered group

group with a compatible partial order

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

Kategori:

partially ordered setgroup