Talk:Cancellative semigroup