Let (X, ◦, 1) be a dual BCK-algebra

Let (X, ◦, 1) be a dual BCK-algebra. Then we can defnine a binary relation ”≤” on X
as the following :

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

ให้ (x, ◦, 1) เป็นคู่ BCK พีชคณิต แล้วเราสามารถ defnine ฐานความสัมพันธ์ "≤" ใน X
ดังต่อไปนี้:

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

ให้ ( X , ◦ , 1 ) เป็นคู่ bck พีชคณิต แล้วเราสามารถ defnine มีความสัมพันธ์ทวิภาค " ≤ X
" ดังต่อไปนี้