کوچکترین رده ی زیرجبرهای شامل مجموعه های آغازی از یک BCK-مشبکه ی جابجایی

In this paper, we assume that X is a BCK-algebra and y, t elements of X. We assign to these elements a set, denoted by F(y; t). We show that F(y; t) is a subalgebra of X. Then we prove that a BCK-algebra X is a Linear Commutative BCK-algebra if and only if every F(y; t) is an initial set of X. Moreover, we give a necessary and sufficient condition for F(y; t) to be an ideal. Finally, we show that the set consisting of all these sets forms a bounded distributive lattice.

کلیدواژه ها:

BCK-جبر ، BCK-جبر جابجایی ، مشبکه ، BCK-جبر استلزامی ، BCK-جبر استلزامی مثبت