This actually does have a name, "Monoid Ring on Free Monoid on Set". Don't know where "polynomial form" comes from, Grillet doesn't call it that way. --barto (talk) (contribs) 11:21, 19 November 2017 (EST)