2. Preliminaries A B-algebra is a non-empty set X with a constant 0 and a binary operation “·" (denoted by juxtaposition) satisfying the following axioms: (1) xx = 0, (2) x0 = x, (3) (xy)z = x(z(0y)) for all x,y,z ∈X.
2. รอบคัดเลือกโซน B-พีชคณิตเป็นชุด X ไม่ว่างเปล่าที่มีค่าคงที่ 0 และดำเนินการทวิภาค "·" (แสดงโดยตีข่าว) ความพึงพอใจของหลักการดังต่อไปนี้ (1) xx = 0 (2) x0 = x ( 3) (XY) Z = x (Z (0Y)) สำหรับทุก x, Y, Z ∈X