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