Free monoid on 2 elements

This applet shows how elements of the free commutative monoid on two generators generate a submonoid.