قضیه های متمم گیری
قضیه ۴ : قانون دمورگان: اگر A و B دو مجموعه دلخواه باشند:
الف:

=
ب:

=
برهان : الف: 


x تعریف متمم

تعریف اجتماع
~ 
~
قانون دمورگان ترکیب ها




تعریف متمم

تعریف اشتراک
قضیه ۵ : اگر U مجموعه جهانی و A و B زیر مجموعه هایی از آن باشند، آنگاه :
۱ . تهی عنصر خنثی در عمل اجتماع است: 
۲ . مجموعه ی جهانی عضو خنثی در عمل اشتراک است : 
۳ . A=
۴ . 
۵ . 
۶ .
=
و U=
۷ . 


برهان : ۱. 




تعریف اجتماع
c

تعریف تهی

قضیه۷ فصل ۱
۲ . 



x تعریف اشتراک
t 

تعریف مجموعه مرجع

قضیه۷ فصل ۱
۵ . 





تعریف اشتراک



تعریف متمم


تعریف -


۷ .





تعریف زیر مجموعه



قانون عکس نقیض





تعریف متمم


تعریف زیر مجموعه