Изменения

|statement=Для любого перечислимого множества <tex>B</tex> верно, что <tex>B \not \subset \overline{E(q)}</tex>.

Cуществует элемент <tex>B</tex>, принадлежащий <tex>E(q)</tex>, и , следовательно , не принадлежащий <tex>\overline{E(q)}</tex>.