زیر مجموعه‌های مجموعه تهی
مجموعه تهی (∅) زیرمجموعه‌ای است که هیچ عضوی ندارد. هر مجموعه‌ای حداقل یک زیرمجموعه دارد و آن زیرمجموعه، خود مجموعه تهی است. سوال اینجاست که آیا مجموعه تهی، زیرمجموعه دیگری هم دارد؟
پاسخ این است که مجموعه تهی، فقط یک زیرمجموعه دارد و آن هم خود مجموعه تهی است. زیرا برای اینکه یک مجموعه زیرمجموعه دیگری باشد، باید همه اعضای آن در مجموعه دیگر وجود داشته باشند. از آنجا که مجموعه تهی اصلا عضوی ندارد، شرط مذکور به صورت پوچ (vacuously) برقرار است. یعنی مجموعه تهی زیرمجموعه هر مجموعه‌ای است.
پس مجموعه تهی تنها یک زیرمجموعه دارد و آن هم خودش است.
