Information | |
---|---|
has gloss | eng: In mathematics, an ordered semigroup is a semigroup (S,•) together with a partial order ≤ that is compatible with the semigroup operation, meaning that x ≤ y implies z•x ≤ z•y and x•z ≤ y•z for all x, y, z in S. |
lexicalization | eng: Ordered semigroup |
instance of | c/Ordered algebraic structures |
Lexvo © 2008-2022 Gerard de Melo. Contact Legal Information / Imprint