סדר טוב – הבדלי גרסאות

ב[[מתמטיקה]], '''סדר טוב''' על [[קבוצה (מתמטיקה)|קבוצה]] הוא [[סדר מלא]] שבו לכל תת-קבוצה לא ריקה יש איבר ראשון. בקבוצה סדורה היטב, לכל איבר (פרט ל[[מקסימום|איבר המקסימלי]], אם יש כזה) יש איבר עוקב מיידי
<ref> הגדרה : יהי <math> (Q , \le)</math> סדר כלשהו ויהיו <math> x,y \in Q</math> איבר <math>\ y </math> נקרא עוקב מיידי של <math>\ x </math> אם <math>\ y > x </math> ואם אין איבר <math>z \in Q</math> כך ש <math>\ y > z > x </math> </ref>
. הסדר הטוב מאפשר להשתמש בטכניקה של [[אינדוקציה טרנספיניטית]] על מנת להגדיר או להוכיח תכונות עבור כל אברי הקבוצה. דבר זה מהווה [[הכללה (מתמטיקה)|הכללה]] של מושג [[אינדוקציה מתמטית|האינדוקציה המתמטית]] הרגילה שמוגדרת רק על [[מספר טבעי|המספרים הטבעיים]].