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