本文首先介绍了BE-代数的基本概念以及BE-代数的有关性质。例如,BE-代数的分配性、传递性、可交换性等。在BE-代数X中引入一个二元关系"≤",并证明"≤"是X上的一个偏序关系。然后,证明了在可结合且可交换的BE-代数中,任意两个元素x,y∈X的上确界的存在性,记之为x∨y,且有(x∨y)=(x*y)*y。从而得出了一个重要结果,即BE-代数可以形成一个半格。最后探讨在BE-代数形成的半格下的交换理想,半格同态等,进一步研究BE-代数形成的半格下的相关性质。