吸收律

吸收性
术语名称	吸收性
英语名称	absorption

吸收性(absorption)指某集合上的两个二元运算，如果均涉及同一个操作数，则可以直接吸收仅这个操作数中。

定义

对集合 [math]\displaystyle{ X }[/math] 上的有交换性的二元运算 [math]\displaystyle{ \bullet }[/math] 和 [math]\displaystyle{ \circ }[/math] ，若 [math]\displaystyle{ (\forall a, b \in X) (a \bullet (a \circ b) = a \circ (a \bullet b) = a) }[/math]，则称运算 [math]\displaystyle{ \bullet }[/math] 和 [math]\displaystyle{ \circ }[/math] 满足吸收律(absorption law)。

封闭二元运算
结合性、交换性（交换元）、分配性（左、右）
零元（左、右）、幺元（左、右）、逆元（左、右）
消去律（左、右）、吸收律、幂等律（幂等元）
反交换性、反分配性