Iseki扩张的唯一性

证明了Iseki扩张的唯一性,也就是说,若真BCI-代数〈X′;*′,0〉=X∪{a}是BCK-代数〈X;*,0〉Iseki扩张,那么必有y*′a=a,a*′x=a,a*′a=0,x≠a,y≠a.