查看“︁吸收律”︁的源代码

[[分类:二元运算]]
{{InfoBox
|name=吸收性
|eng_name=absorption
}}
'''吸收性'''('''absorption''')指某[[集合]]上的两个二元[[运算]]，如果均涉及同一个操作数，则可以直接吸收仅这个操作数中。

== 定义 ==

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


{{二元运算}}