Zorns lemma

🌐 لم زورن

لم زورن؛ قضیه‌ای در نظریهٔ مجموعه‌ها که می‌گوید اگر هر زنجیر در یک مجموعهٔ جزئاً مرتب کراندار بالا باشد، آن مجموعه یک عنصر بیشینه دارد؛ از نظر قدرت منطقی معادل اصل انتخاب است و در جبر و آنالیز زیاد استفاده می‌شود.

اسم (noun)

📌 قضیه‌ای در نظریه مجموعه‌ها که می‌گوید اگر هر زیرمجموعه کاملاً مرتب از یک مجموعه غیرتهیِ مرتب جزئی، حد بالایی داشته باشد، آنگاه عنصری در مجموعه وجود دارد به طوری که آن مجموعه هیچ عنصری بزرگتر از عنصر داده شده مشخص شده ندارد.