متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: لم زرن یکی از مفیدترین اصولی است که هم‌ارز اصل انتخاب است، اصلی است که اولین بار در سال ۱۹۱۴ مطرح شد و به نام لم زرن معروف است، لم زرن به صورت زیر مطرح می‌شود: اگر یک مجموعه مرتب جزئی باشد، بطوریکه هر زیر مجموعه کاملا مرتب آن، دارای کران بالا (در a) باشد، آنگاه a دارای عضو ماکزیمال است. 
موضوع:
لم زرن