The ordered set (X;≤) is a semi-Boo

The ordered set (X;≤) is a semi-Boolean algebra in the sense of [1], that is, it is ameet semilattice
with zero 0 in which every interval [0,a] is a Boolean algebra with respect to induced order.

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

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

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

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