שינויים
/* סדר טוב */ דוגמא
מינוח: נאמר כי <math>A</math> '''סדורה היטב'''.
דוגמא: כל סדר חלקי על קבוצה '''סופית''' הוא סדר טובהקס"ח <math>(\{1, שכן כל 2,3\},\le)</math> היא סדורה היטב - תתי הקבוצות הלא ריקות שלה הן <math>\{1\},\{2\},\{3\},\{1,2\},\{2,3\},\{1,3\},\{1,2,3\}</math> והאיבר הראשון בכל תת קבוצה היא בעצמה סופיתהוא בהתאמה <math>1,2,3,1,2,1,1</math>.
===עקרון הסדר הטוב===
