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

'''הלמה של צורן''' (Zorn's lemma) ב[[מתמטיקה]], ובמיוחד ב[[תורת הקבוצות]], היא [[משפט (מתמטיקה)|משפט]] שימושי העוסק בתכונה של [[סדר חלקי|קבוצות סדורות חלקית]]. בין היתר, חשיבותו של המשפט באה לידי ביטוי בכך שהוא שקול ל[[אקסיומת הבחירה]], ומשתמשים בו לרוב על מנת להראות קיום של דבר מה בלי להראות דרך מפורשת לבנות אותו. המשפט משמש, בין היתר, להוכיח שלכל [[מרחב וקטורי]] יש [[בסיס (אלגברה)|בסיס]], שלכל [[חוג (אלגברה)|חוג]] יש [[אידאל מקסימלי]], שלכל [[שדה (מתמטיקה)|שדה]] יש [[סגור אלגברי]], וכן להוכחת [[משפט טיכונוף]] ב[[טופולוגיה]], להוכחת גרסה אינסופית של [[משפט החתונה]] ב[[קומבינטוריקה]], ושימושים רבים נוספים.

 

 

==ניסוח==