Text this: The semigroup of nonempty finite subsets of rationals