cancellation semigroup

Матем. полугруппа с сокращением