このモノイドを&Sigma;&lowast;で表すと、これは&Sigma;を生成系としてもち、公理の等式以外に元の間の関係式をもたないので&Sigma;上の自由モノイドと呼ぶ.
このモノイドを&Sigma;&lowast;で表す