תורת הקבוצות/הלמה של צורן: הבדלים בין גרסאות בדף

{{למה|שם=הלמה של צורן|תוכן='''תהי <math>(A,\preceq)</math> קבוצה סדורה חלקית. אם לכל שרשרת ב<math>A</math> יש חסם מלעיל (כלומר קיים <math>c\in A</math> כך ש<math>x\preceq c</math> לכל <math>x\in C</math>), אז יש לפחות מקסימום אחד ב<math>A</math>.'''}}