BCK－代数的滤子

Filters of BCK-algebras

ＢＣＫ－代数的滤子李继成（陕西师范大学数学系，西安７１００６２；作者，男，２５岁，硕士）本文所用到的概念均与文献［１］相同．定义１“’设Ｆ是ＢＣＫ一代数Ｘ的一个非空子集，若Ｆ满足：（１）ｘ６Ｆ，ｘ＜ｙ。ｙＥＦ；（２）ｘＥＦ，ｙ６Ｆ。ｇｌｂ｛ｘ，ｙ｝６...

Some properties of the filters of BCK-algebras are studied, and two necessity and sufficiency conditions of the discrete BCK-algebras are given.