تعریف زیرمجموعه
در ریاضیات، به ویژه در نظریه مجموعهها، یک زیرمجموعه از یک مجموعه، مجموعهای است که همه اعضای آن در مجموعه اصلی وجود دارند.
مفهوم تهی
مجموعه تهی، مجموعهای است که هیچ عضوی ندارد. نماد آن {} یا ∅ است.
زیرمجموعه بودن تهی
طبق تعریف، مجموعه تهی زیرمجموعه هر مجموعهای است زیرا هیچ عنصری ندارد که در مجموعه دیگر نباشد.
پس جمله "تهی زیرمجموعه خودش است" درست است زیرا تهی زیرمجموعه همه مجموعهها از جمله خودش است.