راه دوم از روابط مجموعه‌ها داریم: $(B - A)' - A \xrightarrow{\text{تعریف تفاضل}} = (B \cap A')' \cap A'$ $\xrightarrow{\text{دمورگان}} = (B' \cup A) \cap A'$ $\xrightarrow{\text{پخشی}} = (B' \cap A') \cup \underbrace{(A \cap A')}_{\emptyset} = B' \cap A'$ $\xrightarrow{\text{متمم}} = B \cup A$