שינויים
/* הלמה של צורן עבור משפחה של קבוצות */
כדי להפעיל את הלמה של צורן יש להראות שלכל שרשרת יש חסם מלעיל. אם X היא משפחה של קבוצות, זה עשוי להיות קל במיוחד. אנו אומרים ש-X סגורה לאיחוד של שרשראות אם לכל שרשרת <math>\ C \subseteq X</math>, האיחוד <math>\ \bigcup_{A \in C} A</math> שייך ל-X. (שוב, אם X היתה סדורה לינארית, אפשר היה לקחת את האיחוד של כל הקבוצות ב-X; אלא שבכל המקרים המעניינים, X אינה לינארית, ואפילו אינה סגורה ביחס לאיחוד סופי של סתם שני אברים).
== שימושים ==