部分半群的分解

对部分半群的分解性质进行研究，得到了部分半群分国不同分解，互不相乘，互不相交的子部分半群的并的存在唯一性定理，并对部分半群定义了有向图，使得无假孤独元的不可分解部分半群与连通有向图对应，无假孤独元的部分半群的极大不可分解子部分半群与它的有向图的连通分支一一对应。