Definition 3.7. A BE-algebra (X; ∗,

Definition 3.7. A BE-algebra (X; ∗, 1) is said to be transitive if for any x, y, z ∈ X,
y ∗ z ≤ (x ∗ y) ∗ (x ∗ z).

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

3.7 ความละเอียด เป็นพีชคณิต (x; * 1) บอกว่าจะเป็นสกรรมกริยาถ้าใด ๆ x, y, z ∈ x, y
* ≤ซี (x * y) * (x * z)

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

3.7 ข้อกำหนด การจะพีชคณิต (X ∗ 1) กล่าวได้ว่า เป็นสกรรมกริยาถ้าสำหรับทุก x, y, z ∈ X,
y ∗ z ≤ (x ∗ y) ∗ (x ∗ z)

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

ความละเอียด 3.7 . มีพีชคณิต( x ∗ 1 )ที่ได้รับการกล่าวว่าสกรรมกริยาหากสำหรับ X , Y Z ∈ x
Y ∗ Z :≤( x ∗ Y )∗( x ∗ Z )