順序群
↑ 部分半群の定める順序を備えた群と混同してはならない