cancellative semigroup

semigroup with the cancellation property

set of non-negative integers
set of positive integers
1