הלמה של צורן – הבדלי גרסאות

==ניסוח פורמלי==

תהא <math>\!\, (A,\le)</math> קבוצה [[יחס סדר|סדורה חלקית]] לא [[הקבוצה הריקה|ריקה]]. אם לכל [[שרשרת (מתמטיקה)|שרשרת]] בתוכה (קבוצה חלקית ל- <math>\!\, (A,\le)</math> שהצמצום של יחס הסדר אליה הוא [[יחס סדר לינארי]]) ישקיים [[חסם מלעיל]] ב-<math>A</math>, אז לקבוצהב-A יש לפחות איבר מקסימלי אחד.