שינויים
/* ניסוח */
=== ניסוח ===
תהי <math>X </math> '''קבוצה סדורהחלקית''' (קבוצה עם יחס סדר חלקי חלש<math>\le</math>). תת-קבוצה <math>C</math> של <math>X </math> הסדורה לינארית קוית (כל שני איברים של <math>C</math> ניתנים להשוואה) נקראת '''שרשרת'''.
'''דוגמאות:''' אם <math> x_1< x_2 < \cdots</math> אז <math>\{x_1,x_2,\dots\}</math> היא שרשרת, שבה לכל איבר יש עוקב ישיר. אבל זהו בשום אופן אינו המקרה הכללי: המספרים הרציונליים מהווים שרשרת שבה אין לאף איבר עוקב ישיר. המספרים הממשיים הם שרשרת שאינה בת מניה.
