Изменения

Перейти к: навигация, поиск

Иммунные и простые множества

53 байта убрано, 23:42, 27 октября 2016
Нет описания правки
|statement=Для любого бесконечного перечислимого множества <tex>B</tex> верно, что <tex>B \not \subset \overline{E(q)}</tex>.
|proof=
[[Иммунные и простые множества#Лемма (1)|По первой лемме]] существует элемент <tex>B</tex>, принадлежащий <tex>E(q)</tex>, и, следовательно, не принадлежащий <tex>\overline{E(q)}</tex>.
}}
Анонимный участник

Навигация