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

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

تعريف 
.

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

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

مراجع 

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