المجموعة الجزئية هي مجموعة محتواة داخل مجموعة أخرى. إذا كانت المجموعة أ = {1، 2} والمجموعة ب = {1، 2، 3، 4}، فإن أ هي مجموعة جزئية من ب. كل مجموعة هي مجموعة جزئية من نفسها. المجموعة الفارغة هي مجموعة جزئية من كل مجموعة.

المجموعة الجزئية الفعلية هي مجموعة جزئية لا تساوي المجموعة الأصلية. تحتوي المجموعة A على عنصرين، بينما تحتوي المجموعة B على أربعة عناصر. بما أن A ≠ B، فإن A هي مجموعة جزئية فعلية من B. عدد المجموعات الجزئية لمجموعة تحتوي على n عنصرًا هو 2^n.

تظهر المجموعات الجزئية في نظرية المجموعات والمنطق وعلوم الحاسوب. في الاحتمالات، تُعتبر الأحداث مجموعات جزئية من فضاء العينة. في قواعد البيانات، تحدد الاستعلامات مجموعات جزئية من السجلات. هذا المفهوم بسيط ولكنه أساسي في الرياضيات الحديثة.

• مجموعة مضمنة داخل مجموعة أخرى
• كل مجموعة هي مجموعة جزئية من نفسها
• المجموعة الفارغة هي مجموعة جزئية من كل مجموعة
• عدد المجموعات الجزئية هو 2^ن