研究ｐ１Ｒｉ的由Ｒｉ（ｉ＝１，２，…，ｐ）的序所诱导的序，证明ｐ１Ｒｉ在一定条件下作成一个有单位元的ｆ环，并在有单位元的Ｋｆ环上的格序模范畴中引入保格Ｒ１Ｒ......