純BCI代數

純BCI代數(pure BCI-algebra ) BCK代數的“單純”擴張(僅添加p半單部分).設X是BCI代數，P(X>={二EX{x,0};Q(二)一{xEX}0*(0*二)=x}，若X=P(X) UQ(二)，則稱X為純BCI代數.純BCI代數X是可換的(正關聯的、關聯的)若且唯若P(X)與Q(X)都是可換的(正關聯的、關聯的).