Proof. Since the proof that (X,≤) i

Proof. Since the proof that (X,≤) is a partially ordered set is the same as the proof for a KK-algebra [2], we will not give the proof here.Proposition 2.3. Let X be a KKM-algebra. Then the following properties hold. For all x,y,z ∈ X,

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

หลักฐานการ เนื่องจากหลักฐานที่แสดงว่า (X ≤) บางส่วนสั่งชุดเดียวกันเป็นหลักฐานสำหรับการเคเคพีชคณิต [2], เราจะไม่ให้หลักฐานที่นี่ เสนอ 2.3 ให้ X เป็น KKM-พีชคณิต แล้ว คุณสมบัติต่อไปนี้ค้างไว้ สำหรับทุก x, y, z ∈ X

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

หลักฐาน เนื่องจากหลักฐานที่ (x, ≤) เป็นส่วนชุดที่สั่งเป็นเช่นเดียวกับหลักฐานสำหรับ KK-พีชคณิต [2] เราจะไม่ให้ here.Proposition หลักฐาน 2.3 ให้ X เป็น KKM พีชคณิต แล้วคุณสมบัติต่อไปนี้ถือ สำหรับทุก x, y, z ∈เอ็กซ์

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

พิสูจน์ เนื่องจากพิสูจน์ได้ว่า ( x , ≤ ) เป็นเซตอันดับบางส่วนเป็นเหมือนหลักฐานสำหรับ KK พีชคณิต [ 2 ] เราจะไม่ให้พิสูจน์ ที่นี่ ข้อเสนอ 2.3 ให้ x เป็น kkm พีชคณิต แล้วคุณสมบัติต่อไปนี้ก่อน สำหรับ x , y , z ∈ X