(قوانین جذب یا همپوشانی) اگر A و B دو مجموعهٔ دلخواه از مجموعهٔ مرجع U باشند، می خواهیم تساوی های زیر را که به قوانین جذب معروف اند، با استفاده از قضیهٔ قبل و تعاریف اجتماع و اشتراک اثبات کنیم:
\(A \cup (A \cap B) = A\) (الف
\(A \cap (A \cup B) = A\) (ب
ابتدا با استفاده از نمودار وِن و هاشور زدن، درستی قوانین جذب را نشان دهید:


در قضیهٔ قبل ملاحظه کردید که اگر \(C \subseteq D\) در این صورت \((C \cup D) = D\) و \((C \cap D) = C\) است.


روش دیگری برای اثبات قوانین جذب نیز وجود دارد که شما با پرکردن جاهای خالی اثبات را کامل کنید.

