שינויים

תהא <math>(A,\leq)</math> קבוצה סדורה קווית לא סופית. נגיד שתת קבוצה <math>X</math> של <math>A</math> היא תת קבוצה יורדת אם מתקיים <math>\forall a\in A\forall x\in X \,(a<x ) \to (a\in X)</math>