Text this: The semigroup of nonempty finite subsets of integers