Изменения

В полном метрическом пространстве множество является компактом тогда и только тогда, когда оно замкнуто и вполне ограничено.

|proof=

}}