אם כך, הדרישה השנייה של '''קיום חסם עליון''', אינה מתקיימת. מדוע אז 8 הוא בכל זאת חסם עליון?
:על מנת להיות '''מקסימום''', האיבר צריך להיות שייך לקבוצה. לגבי הדוגמא שנתת, בוודאי שיש איבר a כזה. שכחת את 8 בעצמו! הרי
:<math>\forall \epsilon>0:8>8-\epsilon</math>
== איך מוכיחים שהמקסימום של קבוצה הוא הסופרימום של הקבוצה? ==