הערה: שימו לב שעל מנת להוכיח שקבוצה A אינה מוכלת בקבוצה B, יש להראות כי '''קיים''' איבר בA שאינו שייך לB. אם היינו משתמשים בפסוק "כל האיברים בA אינם בB" היינו מקבלים שהקבוצה הריקה כל מוכלת בכל קבוצה, וגם אינה מוכלת בכל קבוצה.
===תרגיל===
נתון <math>A=\{\phi\}</math> ונתון <math>B=\{\phi,\{\phi\}\}</math>. סמן את הביטויים הנכונים:
#<math>\phi\subseteq B</math>
#<math>\phi\in \phi</math>
#<math>A\subseteq B</math>
#<math>A\in B</math>
#<math>A\cup B = B</math>
#<math>A\cap=\phi</math>