A类半群非对易产品，其中没有产品可以用更简单的词语表达其他的元素.
更多需要尝试的事情：
埃里克·魏斯坦（Eric W.Weisstein）。“自由半群”数学世界--Wolfram Web资源。https://mathworld.wolfram.com/FreeSemigroup.html
