שינויים

**<math>A</math> חסומה מלעיל.

**לכל <math>m\in\mathbb{Q}</math> מתקיים כי <math>m\notin A</math> אם ורק אם <math>m</math> חסם מלעיל של <math>A</math>

*הערות ותזכורות: