قضیه ۱-۳ : اگر A وB و C ، سه مجموعه باشند ، آنگاه روابط زیر برقرارند:
الف: =
ب: =
پ: =
ت: =
ث: =
ج: =
اثبات : قسمت ج را اثبات می کنیم. اثبات دیگر موارد نیز با همین روش به آسانی بدست می آید.
تعریف حاصلضرب دکارتی
تعریف تفاضل
خود توانی
جابجایی
تعریف حاصلضرب دکارتی
تعریف تفاضل
فصل های قبلی مبانی ریاضیات
مبانی ریاضات،فصل اول،منطق گزاره
مبانی ریاضات،فصل دوم،مجموعه ها