有序半群

ordered semigroup