עקרון המקסימום של האוסדורף
ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, עקרון המקסימום של האוסדורף הוא ניסוח אלטרנטיבי ומוקדם יותר ללמה של צורן, אשר הוכח על ידי פליקס האוסדורף בשנת 1914. על-פי עיקרון זה, בכל קבוצה סדורה חלקית, כל שרשרת מוכלת בשרשרת מקסימלית.
עקרון המקסימום של האוסדורף הוא אחת מתוך טענות רבות השקולות לאקסיומת הבחירה במסגרת מערכת האקסיומות של צרמלו-פרנקל בתורת הקבוצות.