lattice-ordered semigroup

Мат. решеточно упорядоченная полугруппа