قانون جذب (جبر)

قانون جذب  یا اتحاد جذب ، اتحادی است که دو عمل دوتایی را به یکدیگر پیوند می‌دهد. دو عمل دوتایی مثل * و + به یکدیگر مرتبط می‌شوند اگر داشته باشیم:

مجموعه‌ای با عملگرهای دوتایی ∨ (فصل منطقی) و ∧ (عطف منطقی) که خاصیت جابه‌جایی و خاصیت شرکت‌پذیری دارند، توسط قانون جذب به شکل زیر مرتبط می‌شوند:

که توری نامیده می‌شود.

اثبات

منابع 

جبر بولی
جبر مجرد
قضیه‌ها در حساب گزاره‌ای
نظریه مشبکه