Note that a BCK-algebra is an algeb

Note that a BCK-algebra is an algebra G = (G, ·, 0) of type (2, 0) in which the
following axioms are satisfied:

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

หมายเหตุว่า BCK-พีชคณิตพีชคณิตเป็น G = (G, ·, 0) ชนิด (2, 0) ซึ่งการพอใจสัจพจน์ต่อไปนี้:

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

โปรดทราบว่า BCK พีชคณิตเป็นพีชคณิต g = (G, ·, 0) ประเภท (2, 0)
ซึ่งในหลักการต่อไปนี้มีความพึงพอใจ: