quasiordered semigroup

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