设[n]={1,2,…,n}并赋予自然数的大小序.Pn表示[n]上的部分变换半群,Jn表示[n]上的全变换半群,Jn表示[n]上的对称逆半群,Sn表示[n]......

设自然数n≥3,OI^kn是有限链[n]上的双边k型-保序严格部分一一变换半群.对任意的1≤k≤n-1,0≤r≤n-1,记OI^k(n,r)={α∈OI^kn:|im......