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 2 X.
B-พีชคณิตเป็น X เป็นเซตว่าง 0 ค่าคงที่และการดำเนินการทวิภาค"ลอก" (สามารถบุ โดย juxtaposition) ภิรมย์สัจพจน์ต่อไปนี้:(1) xx = 0(2) x 0 = x(3) (xy) z = x(z(0y))สำหรับทั้งหมด x y z 2 X
A B พีชคณิตเป็นชุดที่ไม่ว่างเปล่า X กับค่าคงที่ 0 และดำเนินการทวิภาค "¢" (แสดงโดยตีข่าว) ความพึงพอใจของหลักการดังต่อไปนี้ (1) x ยาว x = 0 (2) x0 = x, (3) ( เซ็กซี่) ซี = x (ซี (0Y)) สำหรับ x ทุกปี; 2 ซีเอ็กซ์