Theorem 2.1. [2] Assume that X; ,

Theorem 2.1. [2] Assume that X; ,1 is any a BCL⁺ -algebra. Then the
following hold: for any x, y, z  X .

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

ทฤษฎีบท 2.1 [2] สมมติว่า X  1 เป็น BCL⁺ การใด ๆ -พีชคณิต นั้นต่อค้าง: สำหรับทุก x, y, z  X

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

ทฤษฎีบท 2.1 [2] สมมติXที่มิ , 1ใด ๆ ที่เป็นพีชคณิตBCL⁺ จากนั้น
ให้ถือต่อไปนี้: สำหรับการใด ๆ X, Y, Z  X

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

ทฤษฎีบท 2.1 . [ 2 ] สมมติว่า x ;  1 เป็น BCL ⁺ - พีชคณิต จากนั้นถือใด ๆต่อไปนี้ : X , Y , Z  x .