'''תרגיל'''.
הגדרה: חסם מלעיל של קבוצהקבוצת מספרים, הינו איבר הגדול מכל איברי הקבוצה (לאו דווקא בין אם הוא שייך בעצמו לקבוצהובין אם לאו).*הצרן את המושג הטענה "a הוא חסם מלעיל של A" (אם ברצונך לפנות לאיברים מהקבוצה A מותר להשתמש בכמתים באופן <math>\forall a\in A, \exists a\in A</math>)הגדרה: חסם עליון הינו הוא חסם המלעיל מלעיל, הקטן ביותר מבין חסמי המלעילמכל חסם מלעיל אחר.
*הצרן את המושג חסם עליון
a הוא חסם עליון של הקבוצה A אם מתקיים:
<math>(\forall b \in A : b<a)\and (\forall c: \forall b \in A: (b<c)\rightarrow c<a)</math>
*הצרן את השלילה של הטענה "a הוא חסם מלעילשל A".
*הצרן את המושג חסם עליון באופן הבא: M הינו חסם עליון אם הוא חסם מלעיל, וגם לכל מרחק שנזיז את M שמאלה נקבל מספר שאינו חסם מלעיל (בעזרת ההצרנה הקודמת).
*הצרן את הטענה "אם יש לקבוצה חסם עליון, אז הוא יחיד".