Печёнкина М., Якубсон М. Я., Будаев В. Полнота и компактность метрических пространств // 2021 С.421-428.