مجموعه، از بُنداشت‌ها (اصول تعریف‌ناپذیر) در ریاضیات است.

به هر گردایه یا دستهٔ مشخص از اشیاء دو به دو متمایز گفته می‌شود. مفهوم مجموعه با وجود سادگی آن از مفاهیم پایه‌ای ریاضی است.

نظریه مجموعه‌ها در اواخر سده ۱۹ مطرح شد و اکنون یکی از بخش‌های اصلی ریاضیات است.

مجموعه گردایه‌ای از اشیاء متمایز است. این اشیاء، عضوها یا عناصر مجموعه نامیده می‌شوند. اعضای یک مجموعه ممکن است هر چیزی باشند. مثلاً اعداد، افراد، حروف الفبا، مجموعه‌ای از حقایق مجموعه‌های دیگر و جز اینها، بنابراین منظور از اشیاء در تعریف مجموعه لزوماً اشیاء مادی نیست بلکه هر نهادی را هرچند انتزاعی و کاملاً ذهنی (همچون اعداد) می‌توان در ریاضیات یک شیء دانست و گردایهٔ آن اشیاء را مجموعه‌ای دانست.

معمولاً مجموعه‌ها را با حروف بزرگ لاتین مانند A، B،C نشان می‌دهیم. دو مجموعهٔ Aو B برابر هستند اگر اعضای آن یکسان باشند.

تعریف هر مجموعه

اغلب در نوشته‌ها یا صحبت‌های خود کلمه‌هایی را به کار می‌بریم که دسته یا گروهی از اشیا یا موجودات را مشخص می‌کند. در ریاضی این قبیل از کلمه‌ها از واژهٔ مجموعه استفاده می‌کنیم. منبع: کتاب سال دوم راهنمایی
یک مجموعه را می‌توان با عباراتی به شکل زیر تعریف کرد:

• Aمجموعهٔ نخستین ۴ عدد طبیعی است.
• B مجموعه‌ای است که اعضای آن رنگ‌های پرچم ایران است.

همچنین می‌توانیم اعضای مجموعه را میان دو آکولاد قرار دهیم:

• {۱٬۲٬۳٬۴} = C
• {سبز، سفید، قرمز} = D

البته دو تعریف گوناگون، هر دو می‌توانند نشان دهنده یک مجموعه باشند. مثلاً برای مجموعه‌هایی که در بالا تعریف کردیم، Aو C یکسان هستند زیرا عناصرشان با هم برابر است (A=C). همچنین به طور مشابه B = D. توجه کنید که در یک مجموعه، جابه‌جایی عناصر و نوشتن اعضای تکراری تأثیری در خواص مجموعه ندارد. به عنوان مثال:

{۱۱٬۶}={۶٬۱۱}={۶٬۱۱٬۶٬۶}

حال فرض کنید E مجموعهٔ نخستین هزار عدد طبیعی باشد. برای نمایش چنین مجموعه‌های بزرگی (که تعداد اعضای آنها زیاد است)، نوشتن همهٔ عناصر مجموعه غیر عملی است؛ بنابراین Eرا به طور خلاصه به این شکل نمایش می‌دهیم:

{۱۰۰۰،… ،۱٬۲٬۳} = E

معمولاً این شکل نوشتن برای مجموعه‌هایی به کار می‌رود که اعضای آن الگوی مشخصی را دنبال می‌کنند که برای همه واضح است. اما در مجموعه‌هایی مانند{۴-،۳-،۰،… ،۳۵۷ }=F به راحتی نمی‌توان تشخیص داد که «F مجموعهٔ نخستین ۲۰ عددی است که چهار واحد کمتر از مربع عدد دیگری ست». در چنین مواردی برای نمایش اعضای مجموعه از علائم ریاضی استفاده می‌کنیم:

F={n^۲–۴: ۰ <= n <= ۱۹}، nЄN

یعنی: F مجموعه اعدادی به شکل n^۲–۴ است به‌طوری که n به اعداد طبیعی بین ۰ و ۱۹ تعلق دارند.

فهرست مطالب:

تعریف مجموعه

تعریف عضو

نمایش مجموعه

مجموعه های محدود و نامحدود

تساوی دو مجموعه

مجموعه تهی

زیرمجموعه

زیرمجموعه محض

مجموعه مجموعه ها

مجموعه توانی

مجموعه جهانی

عملیات بر روی مجموعه ها

اجتماع

اشتراک

تفاضل

مجموعه مکمل

خواص اجتماع و اشتراک

افراز مجموعه ها

اصل دوگانی

حاصل ضرب مجموعه ها

زوج مرتب