一个具有非交换积的半群,其中任何积都不能用其他元素更简洁地表达。
更多尝试示例
韦斯坦因,埃里克·W. "自由半群。" 来自 -- Wolfram 网络资源。 https://mathworld.net.cn/FreeSemigroup.html