If (X; ∗, 0) is a KK-algebra, then

If (X; ∗, 0) is a KK-algebra, then (X; ≤) is a partially order
set

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

ถ้า (X ∗ 0) จะเป็นเคพีชคณิต แล้ว (X ≤) เป็นคำสั่งบางส่วนการตั้งค่า

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

ถ้า (X *, 0) คือ KK-พีชคณิตแล้ว (X; ≤) เป็นบางส่วนสั่ง
ตั้ง

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

ถ้า ( x ; ∗ , 0 ) เป็น KK พีชคณิตแล้ว ( x ; ≤ ) เป็นคำสั่งบางส่วนชุด