نظرية المجموعة (الجمع: نظرية المجموعات) (بالإنجليزية: Set theory) هو فرع من علم المنطق الرياضي، تهتم بدراسة المجموعات والتي هي تجميع لكائنات رياضية مجردة والعمليات المطبقة عليها، وتشكل إحدى أهم ركائز الرياضيات الحديثة.
كانت بداية الاهتمام بهذا العلم والعمل على دراسته بالقرن التاسع عشر عندما بداه جورج كانتوروريتشارد ديدكايند. وعلى اثر اكتشاف تناقضات عديدة في نظرية المجموعات الأساسية اقتُرحت العديد من الانظمة البديهية لتجاوز هذه التناقضات ومن هذه كان نظام زيرملو-فرانكلن مع بديهية الاختيار افضلها على الإطلاق.
في نظرية المجموعات، يشير مصطلح الاجتماع أو الاتحاد "∪" إلى العملية على المجموعات التي تستخدم في دمج مجموعتين للحصول على مجموعة جديدة تحوي عناصر كلا المجموعتين.
كمثال بسيط على هذه العملية، إن اجتماع مجموعتين منفصلتين لا تشتركان بأي عنصر هو المجموعتان ذاتهما.
اتحاد مجموعتين A و B هو مجموعة. و تتكون من العناصر التي تنتمي إلى المجموعة A أو المجموعة B . و نرمز له ب A ∪ B.
رياضيا نكتب :
مثال : اتحاد المجموعة {1،2،3} و المجموعة {2،3،4} هو المجموعة {1،2،3،4}.