设X为有限集合,E为X上的等价关系,令OIE*(X)为所有E类保序严格部分一一变换所构成的半群.在一定条件下讨论OIE*(X)的极大逆子半群.
Let E be an equivalence on a finite set X, and OIE*(X) be the semigroup consisting of all order-preserving strictly partial one-one transformations of type E, then we characterized the maximal inverse subsemigroup of OIE*(X) under certain assumptions.