|
|
|
(מהאקסיומות נובע למשל שכל מספר <math>a^2</math> הוא חיובי, ובפרט <math>0 \le 1</math>).
לחילופיןלחלופין, אפשר לדרוש שאוסף המספרים החיוביים (אלו הגדולים מאיבר האפס) יהיה סגור לחיבור ולכפל, ושאוסף זה יגדיר את הסדר במובן הבא: <math>\ x<y</math> אם ורק אם <math>\ y-x</math> חיובי. במקום להתמקד בסדר עצמו, אפשר לבחון את קבוצת האיברים החיוביים: תת-קבוצה P של שדה נקראת '''סדר''' (ordering), אם היא סגורה לחיבור ולכפל, ולכל איבר <math>\ a\neq 0</math> בשדה מתקיים <math>\ a\in P</math> או <math>\ -a\in P</math>. כל קבוצה כזו מגדירה יחס סדר.
==דוגמאות==
|
