ormula_1在formula_11下的零元，则：称formula_11满足幂零律，若formula_11满足：formula_156，有formula_157（显然此时每个元素都是零元素，而且既是左零元素又是右零元素）；
分配律.设formula_11: formula_12和formula_160 : formula_12是集合formula_1上的两个二元运算，则：