Замыкание множества Е - это присоединение к нему всех его предельных точек. Ясно, что (замыкание Е) замкнуто, содержит Е и содержится в любом замкнутом множестве, содержащим Е.
Отсюда и следует,что