What is this algebraic structure called like?

55 Views Asked by At

Is there a name for an object $L$ that has an additive structure and a (not necessarily total) order such that for all $a,b,c \in $ L we have

  1. $a+b = b+a$
  2. $a+(b+c)= (a+b)+c $
  3. $a+b \leq a+c \Leftrightarrow b \leq c$
1

There are 1 best solutions below

1
On

Well, the structure is a commutative and ordered semigroup.