هناك ثلاثة أنواع من الجموع في منطق الرياضيات:
1- الجمع المفتوح (Unions): وهو الجمع الذي يضم جميع العناصر الموجودة في أي من المجاميع المعطاة.
2- الجمع المغلق (Intersections): وهو الجمع الذي يضم جميع العناصر المشتركة بين المجاميع المعطاة.
3- الجمع المكمل (Complements): وهو جمع العناصر التي تنتمي إلى المجموعة الأولى ولا تنتمي إلى المجموعة الثانية.