квазиупорядоченная полугруппа

Мат. quasiordered semigroup