חשבון אינפיניטסימלי/שדה סדור: הבדלים בין גרסאות בדף

שם=<math>\forall a\in \mathbb{F} \ \ 0_\mathbb{F}<ax \RightarrowLeftrightarrow -ax<0_\mathbb{F}</math>|

תוכן=מכיוון א, נתון כי <math> 0_\mathbb{F} <a x </math> נוסיף איבר נגדי ונקבל <math> 0_\mathbb{F} - ax <ax -ax</math>. על פי חיבור מספרים נגדים: <math>-ax<0_\mathbb{F}</math>

שם=<math>\forall ax\in \mathbb{F} \ \ ax<0_\mathbb{F} \RightarrowLeftrightarrow 0_\mathbb{F}<-ax</math>|