部分變換半群

部分變換半群(partial transformation semi -group)一類子半群.設X是一集合，pE.}(X),若關於任意(二，婦, (u,v) E p，有x=u-}y=v，則稱P為X上的一個部分變換.X上的部分變換的全體9,i (X)是.} ( X)的一個子半群，稱9.i (X)為X上的全部分變換半群..}.i ( X)的任意子半群稱為X上的一個部分變換半群.