吸收律

对集合 $X$ 上的二元运算 $\vee ,\wedge :X\times X\to X$, 称 $\vee$ 对 $\wedge$ 满足吸收律, 是指对任意 $x,y\in X$, 有$$x\vee (x\wedge y)=x.$$例如, 在命题逻辑中, 命题的与、或运算互相满足吸收律.

吸收律是格、Heyting 代数、Boole 代数等代数结构的定义的一部分.

术语翻译

吸收律 • 英文 absorption law