Ordered Semigroups
Paul F. Conrad · Nagoya Mathematical Journal · 1960
1. Introduction. In this paper order will always mean linear or total order, and, unless otherwise stated, the composition of any semigroup will be denoted by +. A semigroup S is an ordered semigroup (notation o.s.) if S is an ordered set and for all a, b, c in S