اگر A و B دو مجموعهٔ غیر تهی از مجموعهٔ مرجع U باشد حاصل $(A\bigcap B)-(B-A)$ برابر مجموعهٔ ... است.
$(A\bigcap B)\bigcap ({B}'\bigcup A)=((A\bigcap B)\bigcap {B}')\bigcup ((A\bigcap B)\bigcap A)=(\phi)\bigcup (A\bigcap B)=A\bigcap B$