0 = a − a is an element of X and th

0 = a − a is an element of X and this property does not depend on the choice of a ∈ X. The
ordered set (X;≤) is a semi-Boolean algebra in the sense of [1], that is, it is a meet semilattice
with zero 0 in which every interval [0,a] is a Boolean algebra with respect to induced order.
Here a ∧b = a −(a −b) and the complement of an element b ∈ [0,a] is a −b.

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

0 =−การเป็นองค์ประกอบของ X และคุณสมบัตินี้ขึ้นอยู่กับตัวเลือกของ∈ไฟร์พีชคณิตบูลีนกึ่งความ [1] เป็นชุดสั่ง (X ≤) กล่าวคือ มันเป็น semilattice พบปะกับศูนย์ในช่วงที่ทุก [0 การ] เป็นพีชคณิตกับสั่งอาจนี่เป็น ∧b =− (แบบ −b) และส่วนเติมเต็มของการองค์ประกอบ b ∈ [0 การ] เป็น −b

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

0 = a - เป็นองค์ประกอบของ X
และสถานที่ให้บริการนี้ไม่ได้ขึ้นอยู่กับทางเลือกของ∈เอ็กซ์สั่งตั้ง(x; ≤) เป็นพีชคณิตบูลีนกึ่งในความรู้สึกของ [1] ที่เป็นมัน เป็น semilattice
พบกับศูนย์0 ซึ่งในทุกช่วง [0, เป็น] เป็นพีชคณิตแบบบูลที่เกี่ยวกับการสั่งซื้อชักนำ.
นี่∧bใหม่ = - การ (ก -b) และส่วนประกอบขององค์ประกอบข∈ [0 เป็น ] เป็น -b

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

0 = −เป็นองค์ประกอบของ X และคุณสมบัตินี้ไม่ได้ขึ้นอยู่กับทางเลือกของ∈ X .
สั่งชุด ( x ; ≤ ) เป็นกึ่งพีชคณิตบูลีนในความรู้สึกของ [ 1 ] , ที่เป็น , มันเป็นพบ semilattice
0 0 ซึ่งทุกช่วง [ 0 , เป็น ] คือพีชคณิตแบบบูลด้วยความเคารพต่อระเบียบ
ที่นี่∧ B = − ( − B ) และองค์ประกอบขององค์ประกอบ B ∈ [ 0 , − B .
] คือ