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
- $a+b = b+a$
- $a+(b+c)= (a+b)+c $
- $a+b \leq a+c \Leftrightarrow b \leq c$
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
Copyright © 2021 JogjaFile Inc.
Well, the structure is a commutative and ordered semigroup.