بستار جبری

[ریاضی] ← بستار جبری یک هیأت

💡 لم زرن بیان می‌کند که هر مجموعه مرتب جزئی که هر زیرمجموعه مرتب کلی آن (زنجیره‌ها) دارای کران بالا باشد، شامل حداقل یک عنصر ماکسیمال است. این لم معادل با قضیه خوش-ترتیبی و اصل موضوع انتخاب است. لم زرن نتایج مهمی را در سایر شاخه‌های ریاضیات ایجاب می‌کند: قضیه هان-باناخ، قضیه کیرسزبراون، قضیه تیخونوف، وجود پایه همل برای هر فضای برداری و وجود بستار جبری برای هر میدان.