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