اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
نسمي جزء A(أو مجموعة صغرى) لمجموعة E كل عناصر المجموعة A التي تنتمي إلى E.
و نكتب:
نقول أن المجموعة A ضمن المجموعة E, يكافئ أن كل عنصر x من A, يستلزم أن xينتمي إلى E. ==مجموعة الأجزاء== ويكتب المنطق ب7888
كل مجموعة لها عدة أجزاء، وهذه الأجزاء تكون مجموعة الأجزاء.