(1) From properties (P-3) and (P-2)

(1) From properties (P-3) and (P-2) of proposition 2.3 and axiom (KKM-1), we havey∗(x∗y)=x∗(y∗y)=x∗0=0. Therefore,bydefinition2.2of≤,weobtain x ∗ y ≤ y.

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

(1) จากคุณสมบัติ (P-3) และ (P-2) เสนอ 2.3 และสัจพจน์ (KKM-1), เรา havey∗ (x∗y) = x∗ (y∗y) = x∗0 = 0 ดังนั้น bydefinition2.2of≤, weobtain x ∗ y ≤ y

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

(1) จากคุณสมบัติ (P-3) และ (P-2) ของข้อเสนอ 2.3 และความจริง (KKM-1) เรา Havey * (x * y) = x * (y * y) = x * 0 = 0 ดังนั้นbydefinition2.2of≤, weobtain x * y ที่≤ y ที่

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

( 1 ) จากคุณสมบัติ ( p-3 ) และ ( P-2 ) และข้อเสนอ 2.3 สัจพจน์ ( kkm-1 ) เรา havey ∗ ( X ∗ y ) = x ∗ ( Y ∗ y ) = x ∗ 0 = 0 ดังนั้น bydefinition2.2of ≤ weobtain x , ∗ Y ≤ Y