Условие открытости множества (существования открытого множества)

Теорема:

Для того, чтобы множество М было открыто, необходимо и достаточно, чтобы его дополнение R \ M до всего пространства R было замкнутым