اگر همه اعضای مجموعه B در مجموعه A باشد گوییم B زیرمجموعه A می‌باشد.

هر مجموعه‌ای زیرمجموعه خودش است و تهی زیرمجموعه هر مجموعه ای است.

برای نوشتن زیرمجموعه‌های یک مجموعه ابتدا از مجموعه تهی شروع می‌کنیم چراکه تهی زیرمجموعه همه مجموعه ها است. زیر مجموعه های تک عضوی، بعد دو عضوی، بعد… و در آخر سراغ خود مجموعه اصلی می‌رویم، چون هر مجموعه زیرمجموعه خودش است.

اگر مجموعه‌ای مثل A زیرمجموعه‌ای مثل B باشد، زمان رسم نمودار وِن، حلقه A کاملاً درون حلقه B قرار می‌گیرد.