The semigroup of nonempty finite subsets of integers. Spake, Reuben (1986) International Journal of Mathematics and Mathematical Sciences