ישנה לפי הטענה קבוצה מקסימלית להכלה, לכן גם <math>\epsilon</math> וגם <math>1.5\epsilon</math> נמצאים בה. האיחוד לא קשור
מי אמר שחייבת להיות קבוצה e דלילה מקסימלית אחת? בשאלה אומרים שכל קבוצה e דלילה מוכלת בקבוצה e דלילה מקסימלית, לכן הקבוצה <math>\left\{0,\epsilon\right\}</math> מוכלת בקבוצה e דלילה מקסימלית כלשהי, והקבוצה <math>\left\{0,1.5\epsilon\right\}</math> מוכלת בקבוצה דלילה מקסימלית כלשהי. זו לא חייבת להיות אותה קבוצה (זה הרי יחס הכלה שהוא לא יחס סדר מלא, לכן יכול להיות יותר מאיבר מקסימלי אחד).
== הוכחת משפט 7 ברשימת המשפטים למבחן ==