Definition:Polynomial Ring/Free Monoid on Set