序群

ordered group