ثابت کنید اگر $A - B = \emptyset$، آنگاه $A \subseteq B$.

ثابت کنید اگر $A - B = \emptyset$، آنگاه $A \subseteq B$. (با استفاده از برهان خلف: فرض کنیم $A \nsubseteq B$ است. پس عضوی مانند $x \in A$ وجود دارد که $x \notin B$. بنابراین $x \in A - B$ که این با فرض $A - B = \emptyset$ در تناقض است.)