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