Если каждое бесконечно подмножества пространства имеет предельную точку, то оно сепарабельно

Если каждое бесконечно подмножества пространства имеет предельную точку, то оно сепарабельно

то есть если имеется возможность из каждой последовательности выделить предельную (сходящуюся?) подпоследовательность, которая будет сходится к данной точке.