شمول

شُمول (inclusion)
در ریاضیات، اشتمال مجموعه‌ای چون A بر مجموعه‌ای مانند B يا به عبارت دیگر، قرارداشتن مجموعۀ B در مجموعۀ A. فقط در صورتی ممکن است که هر عضو B متعلق به A نیز باشد. در این ‌صورت، می‌گویند مجموعۀ A شامل مجموعۀ B است و می‌نویسند A ⊇ B؛ یا مجموعۀ B زیرمجموعۀ A است و می‌نویسند B ⊆ A.

 

---