Absorption (logique)