פשוט לפי ההגדרה.
הגדרת ההכלה בין קבוצות היא: A מוכלת ב-B אם כל איבר של A הוא גם איבר של B.
כל איבר של הקבוצה הריקה הוא גם.. איבר של הקבוצה הריקה. זו טענה המתקיימת באופן ריק: לקבוצה הריקה אין אף איבר, ולכן אין אף איבר שישלול את הטענה הזו.
לכן, הקבוצה הריקה מוכלת בעצמה.
הקבוצה הריקה היא (שוב, לפי ההגדרה) קבוצה אשר אף איבר אינו שייך אליה.
אם הקבוצה הריקה היתה שייכת לעצמה, אז היא לא היתה ריקה.
