خب مفهوم برای ۱ میگه :
متمم اجتماع A با هر چیزی به غیر از m
حالا این اجتماعش با اشتراک A با هر چیزی به غیر از تهی ..
الان چون مجموعه m و Aرو اعضای ندادی و من نمیدونم چجوریه شکل قرارگیریشون بر فرض میگم( آخه اگه m زیر مجموعه A باشه همه چی تغییر میکنه ) : فکر کنیم اجتماع A و هر چیزی به غیر از M میشه Q حالا هر چیزی که از Q تعداد و اعضای Q خارجه میشه جواب .. مثلا اگه m زیرمجموعه Aبود و از مجموعه مرجع صرف نظر کنیم : '(A-m) = M ..
در پرانتز بعدی
( اجتماع A با خودش میشه A)
که حالا اجتماعش با پرانتز قبلی میشه خود M .
دومی : پرانتز اولی که میشه m چون از اشتراک به تفاضل بریم '( A-M) و بعدیش هم میشه تهی ( بازم میگم اگه m زیر مجموعهA باشه ) و اشتراک هر مجموعه با تهی میشه تهی .