عضویت و زیرمجموعه از بنیادی‌ترین مفاهیم نظریه مجموعه‌ها هستند و پایه بسیاری از مباحث بعدی ریاضیات، از جمله اجتماع، اشتراک، متمم، مجموعه توانی، روابط و توابع را تشکیل می‌دهند. در این مقاله تفاوت دقیق میان «عضو یک مجموعه بودن» و «زیرمجموعه یک مجموعه بودن» را بررسی می‌کنیم، نمادهای \( \in \)، \( \notin \)، \( \subseteq \) و \( \subsetneq \) را توضیح می‌دهیم و با استفاده از مثال‌های مرحله‌به‌مرحله، روش تشخیص زیرمجموعه، برابری دو مجموعه، زیرمجموعه‌های سره، مجموعه تهی و خواص مهم رابطه زیرمجموعه را آموزش می‌دهیم. همچنین به تفاوت مفاهیمی مانند \(a\in A\) و \(\{a\}\subseteq A\)، رابطه میان عضویت و زیرمجموعه و خطاهای رایج در استفاده از نمادها می‌پردازیم.

مجموعه یکی از بنیادی‌ترین مفاهیم ریاضیات است و بسیاری از مفاهیم مهم مانند عدد، تابع، رابطه، احتمال و ساختارهای ریاضی را می‌توان با زبان مجموعه‌ها تعریف و بررسی کرد. در این مقاله مفهوم مجموعه را از تعریف شهودی تا صورت‌بندی دقیق ریاضی بررسی می‌کنیم، تفاوت مجموعه با فهرست و دنباله را توضیح می‌دهیم، مفهوم عضو و عضویت، برابری مجموعه‌ها، روش‌های تعیین یک مجموعه، مجموعه‌های عددی و مجموعه‌های متناهی و نامتناهی را معرفی می‌کنیم و با مثال‌های حل‌شده نشان می‌دهیم چگونه باید تشخیص دهیم یک شیء عضو یک مجموعه است یا نه. همچنین توضیح می‌دهیم که چرا در ریاضیات جدید، مفهوم مجموعه در سطح بنیادی به‌صورت اصل‌موضوعی مطالعه می‌شود.