שינויים
/* רשימה מתעדכנת של תכונות, ככל שאאעדכן את הערך */
====תכונות שדה סדור====
*איזוטוניות ביחס לסכום:
**יהיו חתכים A,B,C כך ש<math>A\leq B</math> צ"ל כי <math>A+C\leq B+C</math>
**נתון כי <math>A\subseteq B</math> צ"ל כי <math>A+C\subseteq B+C</math>
**יהי <math>a+c\in A+C</math>, לכן <math>a\in B</math> ולכן <math>a+c\in B+C</math>.
*יהיו זוג חתכים <math>A\leq B</math> ויהי חתך <math>C</math> חיובי. צ"ל כי <math>AC\leq BC</math>
==שלמות הממשיים==
