Definition 2.4. Let X1,X2, ......,Xn be nonempty subsets of a BCK-algebra G. Define the pseudo-commutator subalgebra of X1 and X2 to be [X1,X2] = {[x1, x2]|x1 ∈ X1, x2 ∈ X2}
นิยาม 2.4 ให้ X 1, X 2,..., Xn เป็นชุดย่อย nonempty ของ BCK-พีชคณิตกรัมกำหนดราคา subalgebra commutator ลกัน X 1 และ X 2 จะ[X 1, X 2] = { [x 1, x 2] |x1 ∈ X 1, x 2 X 2 ∈}