שינויים

:על מנת להיות '''מקסימום''', האיבר צריך להיות שייך לקבוצה. לגבי הדוגמא שנתת, בוודאי שיש איבר a כזה. שכחת את 8 בעצמו! הרי

:<math>\forall \epsilon>0:8>8-\epsilon</math>

== איך מוכיחים שהמקסימום של קבוצה הוא הסופרימום של הקבוצה? ==