En la álgebra, la ley de la absorción del es una identidad que liga un par de las operaciones binarias

Cualquier dos operaciones binarias, dicen $ y %, son conforme a la ley de la absorción si:

l un $ ( del b de a los %) = un % ( un b de $) = un .

Las operaciones $ y % se dicen para formar un par dual .

Dejado haya un cierto sistema cerrado bajo dos operaciones binarias. Si esas operaciones son el comutativo, asociativo, y satisfacen la ley de la absorción, la álgebra abstracta resultante es un enrejado, en este caso las dos operaciones a veces se llaman la reunión, ensambla ; otras posibilidades incluyen el y, o . Desde commutativity y associativity están a menudo las características de otras estructuras algebraicas (por ejemplo, adición y multiplicación de números verdaderos), absorción son la característica de definición de un enrejado . Desde las álgebra boleanas y las álgebra de Heyting que son enrejados, ellos obedecer también la ley de la absorción.

Desde lógica clásica es un modelo de la álgebra boleana, e igual es verdad de la lógica intuicionista y las álgebra de Heyting, los asimientos de la ley de la absorción para el $\backslash \; la\; uve$ de las operaciones y $\backslash \; la\; cuña$, denotando el O y Y, respectivamente. Por lo tanto: $del$

l a \ uve (a \ cuña b) = a \ cuña (a \ uve b) = un

donde el = se entiende para ser la equivalencia lógica sobre las fórmulas .

La ley de la absorción no se sostiene para las lógicas lineares de las lógicas de la importancia y las lógicas subestructurales en el caso pasado, allí no son ninguna correspondencia una por entre las variables libres de los pares de definición de identidades.