שינויים

'''הגדרה:''' תהי U סדורה ותהי תת קבוצה <math>A\subseteq U</math>, אזי:

*<math>M\in U</math> נקרא '''חסם מלעיל''' של A אם <math>\forall a\in A:a\leq M</math>