لم زرن
From Wikipedia, the free encyclopedia
لم زرن یکی از مفیدترین اصولی است که هم ارز اصل انتخاب است، اصلی است که اولین بار در سال ۱۹۱۴ مطرح شد و به نام لم زرن معروف است، لم زرن به صورت زیر مطرح میشود: اگر یک مجموعه مرتب جزئی باشد، بطوریکه هر زیر مجموعه کاملاً مرتب آن، دارای کران بالا (در A) باشد، آنگاه A دارای عضو ماکزیمال است.