运算表 积元阵 布尔代数 尾元 消去律 极大理想 子代数 近世代数 二元运算 公理系统 基本理论 代数运算 直积 结合律 左单位元 代数结构 布尔环