Rational sets in commutative monoids.