مجموعة مكملة (نظرية المجموعات)

تصغير|A-B هي مجموعة مكملة للمجموعة A.

في الهندسة المتقطعة ونظرية المجموعات، المجموعة المكملة  لمجموعة A في المجموعة الكلية U هي المجموعة التي تحوي جميع العناصر التي لا تحويها المجموعة A.

 تعريف 
.

 أمثلة 
إذا كانت المجموعة U هي مجموعة الأعداد الصحيحة الطبيعية، فإن مكملة مجموعة الأعداد الفردية هي جميع الأعداد غير الفردية، أي الأعداد الزوجية.

 انظر أيضا 
 نظرية المجموعات المبسطة,
 مراجع 

تصنيف:عمليات ثنائية
تصنيف:مفاهيم أساسية في نظرية المجموعات