## [Ley de Absorción](/es/node/63446) Definición Un par de identidades en estructuras tipo retículo que expresan que una operación 'absorbe' el efecto de la otra. Formas estándar: a ∨ (a ∧ b) = a y a ∧ (a ∨ b) = a. ## Principio Principio La absorción captura la idea de que combinar un elemento con una combinación que ya lo contiene devuelve el propio elemento; impone compatibilidad entre las dos operaciones duales (unión y encuentro). ## Demostración Demostración En teoría de conjuntos con unión ∪ e intersección ∩: A ∪ (A ∩ B) = A y A ∩ (A ∪ B) = A. En álgebra booleana las mismas identidades simplifican fórmulas lógicas: p ∨ (p ∧ q) ≡ p. ## Aplicación incorrecta Aplicación incorrecta Aplicar la absorción en contextos sin estructura de retículo (por ejemplo operaciones de grupo arbitrarias o operaciones no idempotentes) es inválido; considerar la absorción como consecuencia general de la distributividad o la idempotencia conduce a errores. ## Consecuencia Consecuencia La absorción proporciona reglas fuertes de simplificación para expresiones en retículos y álgebras booleanas, sostiene la unicidad de formas normales y subyace a la dualidad entre unión y encuentro en estructuras ordenadas. ## Inversión Inversión En álgebras no reticulares o más generales, las identidades de absorción pueden fallar, produciendo patrones de interacción más ricos entre operaciones que impiden el colapso de una expresión combinada a un solo operando. ## Límite Límite La absorción es una propiedad de operaciones binarias idempotentes, asociativas y conmutativas que forman un retículo o semi-retículo; no es aplicable a pares de operaciones arbitrarias que carezcan de esas características estructurales. ## Tensión semántica Tensión semántica La absorción puede confundirse con la distributividad (ambas relacionan dos operaciones) pero la absorción es una identidad de colapso que liga unión y encuentro a un operando, mientras que la distributividad prescribe la expansión sobre combinaciones. ## Síntesis Síntesis La Ley de Absorción afirma que en estructuras tipo retículo una de las operaciones duales neutraliza la combinación con la otra cuando un operando ya aparece, produciendo identidades de simplificación concisas que reflejan la compatibilidad unión/encuentro y la estructura ordenada.