Therefore, by the antisymmetry of t

Therefore, by the antisymmetry of the partial ordering, we have (x∗y)∗y = (y∗x)∗x. Then, using (2), we have

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

ดังนั้น โดย antisymmetry สั่งบางส่วน เรามี ∗y (x∗y) = ∗x (y∗x) ใช้ (2), เรามาแล้ว

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

ดังนั้นในการ antisymmetry ของการสั่งซื้อบางส่วนที่เรามี (x * y) * Y = (y * x) * x จากนั้นใช้ (2) เรามี

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

ดังนั้น โดย antisymmetry ของการสั่งซื้อบางส่วนเราได้ ( x ∗∗ Y = Y ) ( Y ∗ X ) ∗ X จากนั้นใช้ ( 2 ) เรามี