زیرمجموعه

از ویکی‌پدیا، دانشنامهٔ آزاد

پرش به: ناوبری, جستجو
A زیرمجموعه‌ای است از B و B یک زبَرمجموعه[۱] از A است.

با حذف بعضی از اعضای مجموعهٔ B، مجموعه‌های دیگری بدست می‌آید (مثل A) که این مجموعه‌ها را زیر مجموعه B می‌نامیم.

مجموعه A را زیرمجموعه‌ای از مجموعهٔ B گویند، هرگاه که همه اعضای A عیناً در B وجود داشته باشد، و این مطلب را با نماد A ⊆ B نمایش می‌دهیم.

به عنوان مثال، اگر داشته باشیم {B = {1, 2, 5, 7

آنگاه {A = {1, 7 که با حذف عضوهای 2 و 5 به‌دست آمده‌است را زیرمجموعهٔ B می‌گویند.

اگر مجموعهٔ A زیرمجموعهٔ B باشد و هم‌زمان مجموعهٔ B نیز زیرمجموعهٔ A، مجموعه‌های A و B با یکدیگر برابرند.

[ویرایش] منابع

  • Enderton, H. B. Elements of Set Theory, 2nd edition, ACADEMIC Press, Inc., 1977. ISBN: 7-238440-12-0