右序群

right-ordered group