Observe that (N0; ∗, 0) is a commutative BE-algebra. Obviously, x ∗ x = 0, x ∗ 0 = 0, and 0 ∗ x = x for all x ∈ N0. Thus (BE1)–(BE3) hold. Let x, y, z ∈ N0. To prove (BE4) we consider two cases
สังเกตที่ (N0 ∗ 0) คือพีชคณิตจะเขาอายุ เห็นได้ชัด x ∗ x = 0, 0 = 0, x ∗ และ0 ∗ x = x สำหรับ x ∈ ทั้งหมด N0 ดังนั้น (BE1)–(BE3) ค้าง ให้ x, y, z ∈ N0 พิสูจน์ (BE4) เราพิจารณา 2 กรณี
สังเกตว่าไนเตรต ; ∗ , 0 ) คือการสับเปลี่ยนเป็นพีชคณิต เห็นได้ชัดว่า x ∗ x = 0 , x ∗ 0 = 0 และ0 ∗ X = X X ∈ NO . ดังนั้น ( ที่ ) – ( BE3 ) ค้างไว้ ให้ x , y , z ∈ NO . พิสูจน์ ( be4 ) เราพิจารณา 2 คดี