::לא חייבים להיות בספק. מצד האחד הקבוצה הריקה באגף ימין מוכלת בזאת שבאגף שמאל, וגם זאת שבאגף שמאל מוכלת בזאת שבאגף ימין, יש הכלה דו כיוונית משמע שיוויון, ולכן זאת לא הכלה ממש.
:::זה שיש שיוויון בין הקבוצה הריקה לעצמה זה דיי ברור. השאלה היא האם הכלה ממש מוגדרת על פי אי שיוויון, או על פי איבר ששייך לאחת ולא שייך לאחרת. וכמו שאמרתי, אני לא בטוח מה ההגדרה ולכן אני לא קופץ למסקנות. --<font size='4'>[[משתמש:ארז שיינר|ארז שיינר]]</font>
::::הכלה ממש מוגדרת על פי אי שוויון. בכל מקרה, שתי ההגדרות האלה שקולות, ולפי שתיהן אין הכלה ממש
== קומבינטוריקה ==