Изменения

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

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

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

Навигация