自反理想是一个数学术语。(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代数.