שינויים
/* עיקרון הסדר הטוב */
אזי אכן מתקיים כי לכל קבוצה לא ריקה של טבעיים קיים איבר מינימום בקבוצה.
דוגמא נוספת:
ניתן להגדיר אל <math>\mathbb{Q}_+</math> יחס סדר חלקי לפי התמונה הבא (כאשר מזהים כל שבר עם זוג סדור ומבטלים את החזרות המיותרות)
[[קובץ:NutualSquareEqNutural.jpeg]]
התבוננו והשתכנעו שזה גם סדר טוב.
הערה: זה בניגוד לסדר "קטן שווה" הרגיל על השברים שאינו סדר טוב כי לקבוצה
<math>\{x\in \mathbb{Q}_+ | x<\sqrt{2}\}</math> אין איבר מינימום.
==הכללות==