自反理想(reflexive ideal)刻画自反BCK代数的理想.设X是BCK代数,A是X的非空子集,称A* _ {xEX{二*a一二且a*x=a,fl aEA)为A的稳定子.A的稳定子A‘是X的子代数,但未必是理想.在可换BCK代数中,A‘是理想.在BCK代数中,若A是理想,则A‘也是理想,且AcA" ".若A=A*",则称A为X的自反理想.BCK代数X的每一个次直和项都是X的自反理想.若 BCK代数X的每一个理想都是自反的,则称X为自反BCK代数.一个BCK代数是自反的当且仅当X是半单BCK代数.