设X^＊是由字母表X生成的自由幺半群，{B1，B2}是X的任意2-划分，C=B2∪B1X^N。对N=1，2，文[1]证明了幺半群C^＊是自由幺半群X^＊的极大自由幺子半......