Oleg ZubelevichМне кажется это неверно. Семейство борелевских нужно определять по трансфинитной индукции.

- дополнение открытых и счётные объединения открытых

- дополнение множеств семейства

и их счётные объединения. Тогда


- ординал.
Что неверно? Вы формализовали то, что я сказал. Я только не понимаю теперь с чем трудности возникают

и тоже самое с объединениями, а еще есть правила де Моргана, а еще прообраз открытого множества открыт. Разве этого не достаточно?