Rational function (monoid)