متمم (نظریه مجموعه‌ها)

در نظریه مجموعه‌ها، متمم  یک مجموعه مثل  است که اغلب به صورت  (یا ) می‌نویسند، و منظور از متمم عناصری است که در  قرار ندارند.

زمانی که تمام مجموعه‌های مورد نظر را به صورت زیرمجموعه‌هایی از مجموعه دلخواهی چون  در نظر بگیرند، متمم مطلق ، برابر است با مجموعه تمام عناصری که درون  خواهد بود ولی در  قرار ندارند.

همچنین متمم نسبی  نسبت به  را تفاضل مجموعه‌ای  و  (یا تفاضل A از B) نامیده و به صورت  نوشته که به معنای اعضایی از  اند که در  قرار نداشته باشند.

در واقع در یک محیط مشخص و فرضی مثل شکل مقابل، اگر دایره قرمز رنگ را A در نظر بگیریم، آنگاه هر چیزی که در خارج از دایره قرمز رنگ، یا فضای سفید رنگ قرار بگیرد B نامیده می‌شود، به اینصورت فضای سفید را متمم فضای قرمز در نظر میگیریم. در این مثال B متمم A است.

ارجاعات

منابع

پیوند به بیرون 

 
 

عملیات روی مجموعه‌ها