Theorem 2.6. If (G, ., 0) be a BCK-

Theorem 2.6. If (G, ., 0) be a BCK-algebra. Then G is commutative ⇐⇒
G = {0}.

ผลลัพธ์ (ไทย) 1:

ทฤษฎีบท 2.6 ถ้า (G, ., 0) เป็น BCK-พีชคณิต แล้ว G สลับ⇐⇒G = { 0 }

ผลลัพธ์ (ไทย) 2:

ทฤษฎีบท 2.6 ถ้า (G., 0) เป็น BCK พีชคณิต จากนั้น G เป็น⇐⇒สับเปลี่ยน
G = {0}

ผลลัพธ์ (ไทย) 3:

ทฤษฎีบท 2.6 ถ้า ( G , 0 ) เป็น bck พีชคณิต แล้ว G คือการสับเปลี่ยน⇐⇒
g = { 0 }