lattice-ordered monoid

Мат. решеточно-упорядоченный моноид