שינויים
/* הגדרת שרשרת בקס"ח */
====הגדרת שרשרת בקס"ח====
'''הגדרה.''' קבוצה A אשר מוגדר עליה יחס סדר חלקי R נקראת קבוצה '''סדורה חלקית'''. תת קבוצה של קבוצה סדורה חלקית <math>C\subseteq A</math> נקראת '''שרשרת''' אם R מהווה יחס סדר מלא/משווה על C. כלומר לכל <math>c_1,c_2\in C</math> מתקיים כי <math>c_1Rc_2</math> או <math>c_2Rc_1</math>. שימו לב כי עבור <math>C=\{\}</math> (הקבוצה הריקה) היא תמיד שרשרת. גם לכל <math>a\in A</math> מתקיים כי עבור <math>C=\{a\}</math> היא תמיד שרשרת.
דוגמה פרטית וחשובה: עבור A שהיא קבוצה של קבוצות ו R הוא יחס ההכלה, שרשרת C היא קבוצה של חלק מהקבוצות ב A המקיימות כי כל שתי קבוצות ב C או שהראשונה מוכלת בשניה או שהשניה מוכלת בראשונה.
