Рассматривается множество всех конечных подмножеств натурального ряда с отношением
быть подмножеством.
Понятно, что это порядок.
Вопрос в следующем: правильно ли я понимаю, что
наиб и
макс элементов здесь нет, а
наим суть

?
И еще вопрос про
мин элемент: будет ли он

или его нет?