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

יותר מכך כל תת-קבוצה של מחלקת הסדרים מסודרת בסדר טוב, כלומר קיים איבר ראשון בסדר <math> \le </math> כפי שהוגדר לעיל.

 

 

'''טענה:''' <math> (Q , \le) </math> מסודרת היטב אם ורק אם אין בה סדרה אינסופית יורדת.