(1) y ∗ z ≤ x if and only if x ∗ z

(1) y ∗ z ≤ x if and only if x ∗ z ≤ y.
(2) (z ∗ x) ∗ (z ∗ y) ≤ x ∗ y.
(3) x ≤ y implies x ∗ z ≤ y ∗ z.

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

(1) y ∗ z ≤ x ถ้า และเฉพาะในกรณี x ∗ z ≤ y(2) (z ∗ x) ∗ (∗ z y) ≤ y x ∗y x ≤ (3) หมายถึง x ∗ z ≤ y ∗ z

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

(1) * Y Z ≤ x ถ้าหากว่า X * Y Z ≤
(2) (Z * x) * (Z * y) ≤ X * Y
(3) x ≤ Y หมายถึง X * Z ≤ Y * Z

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

( 1 ) ∗≤ X Y Z ถ้าและเพียงถ้า x ∗ Z ≤ Y( 2 ) ( Z ( Z ∗∗∗ x ) Y ) ≤ x ∗ Y( 3 ) x ≤ Y หมายถึง x ∗ Z ≤ Y ∗ Z