Document Type : Original Paper
Department of Mathematics, Shahid Chamran University of Ahvaz, Ahvaz, Iran
Department of Mathematics, Faculty of Sciences, Payame noor University, Tehran, Iran
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.