שינויים
/* יחס סדר */
*טענה: <math>A\geq 0_D</math> אם ורק אם <math>-A\leq 0_D</math>
*הוכחה:
**ראשית נניח כי <math>A\geq 0_D</math> ***כלומר בעצם <math>0_D\subseteq A</math> ולכן לכל חסם מלעיל <math>m\notin A</math> מתקיים כי <math>0\leq m</math>.***לכן לכל <math>x\in -A</math> מתקיים כי <math>x<-m<0</math>***כלומר כל האיברים ב<math>-A</math> שליליים, ולכן <math>-A\subseteq 0_D</math> כלומר <math>-A\leq 0_D</math>**בכיוון ההפוך, נניח כי <math>-A\leq 0_D</math>***לכן כל האיברים ב<math>-A</math> שליליים.***אם קיים <math>0>m\notin A</math> אזי <math>0<-\frac{m}{2}\in -A</math> בסתירה.**לכן כל המספרים השליליים שייכים לA, כלומר <math>0_D\subseteq A</math> ולכן <math>A\geq 0_D</math>
