正则BCK—代数

本文给出了正则元、正则BCK—代数的概念。得到了如下的主要结果:〈X;*,0〉是一个正则BCK—代数当且仅当■x∈X,■y∈X,y≠x,若 x*(y*x)=0,则x=0。