زیرمجموعه: مجموعه‌ای که همه اعضای آن در مجموعه دیگری قرار داشته باشد.

زیرمجموعه: وقتی یک مجموعه در دل مجموعه‌ای دیگر قرار می‌گیرد

زیرمجموعه چیست؟ یک تعریف ساده

فرض کنید یک مجموعه مانند یک سبد خرید بزرگ است که چندین قلم کالا در آن قرار دارد. حالا اگر یک سبد خرید کوچک‌تر بردارید و فقط بعضی از آن کالاها را داخل آن بگذارید، به این سبد کوچک‌تر یک زیرمجموعه^۳ از سبد بزرگ می‌گوییم. به زبان ریاضی، اگر هر عضو مجموعه $A$ در مجموعه $B$ وجود داشته باشد، آنگاه $A$ یک زیرمجموعه از $B$ است و آن را به صورت $A \subseteq B$ نشان می‌دهیم.

مثال: مجموعه حیوانات خانگی شما ($A$ = {سگ، گربه}) یک زیرمجموعه از مجموعه همه حیوانات ($B$ = {سگ، گربه، فیل، زرافه}) است. چون هر عضوی از $A$ (یعنی سگ و گربه) در $B$ هم وجود دارد.

انواع زیرمجموعه: محض و نا محض

زیرمجموعه‌ها به دو دسته اصلی تقسیم می‌شوند:

یک حالت خاص و جالب، این است که هر مجموعه‌ای زیرمجموعه خودش است! یعنی همیشه $A \subseteq A$ برقرار است. همچنین، مجموعه تهی^۴ (مجموعه‌ای که هیچ عضوی ندارد) زیرمجموعه هر مجموعه‌ای است.

زیرمجموعه در زندگی روزمره: از مدرسه تا خرید

مفهوم زیرمجموعه فقط در کتاب‌های ریاضی نیست، بلکه همه جا می‌توان آن را دید. به این مثال‌ها توجه کنید:

• وسایل مدرسه: مجموعه لوازم التحریر داخل جامدانی شما ($A$) یک زیرمجموعه از تمام لوازم التحریری است که در خانه دارید ($B$).
• بازی‌های رایانه‌ای: مجموعه بازی‌های ماجراجویی که دوست دارید ($A$) یک زیرمجموعه از همه بازی‌های موجود در کامپیوترتان ($B$) است.
• لیست خرید: موادی که امروز باید بخرید ($A$) یک زیرمجموعه از همه موادی است که در یک فروشگاه بزرگ وجود دارد ($B$).

این مفهوم به ما کمک می‌کند تا چیزها را منظم‌تر دسته‌بندی کنیم و رابطه بین گروه‌های مختلف را درک کنیم.

اشتباهات رایج و پرسش‌های مهم

پاورقی

^۱Fundamental (فاندامنتال): به معنای پایه‌ای، اساسی و بنیادی است.
^۲زیرمجموعه محض (Proper Subset): زیرمجموعه‌ای که حتماً از مجموعه اصلی کوچک‌تر است و با آن برابر نیست.
^۳زیرمجموعه (Subset): مجموعه‌ای که تمام اعضای آن در مجموعه دیگری قرار دارند.
^۴مجموعه تهی (Empty Set): مجموعه‌ای که هیچ عضوی ندارد و با نماد $\emptyset$ یا {} نشان داده می‌شود.