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

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

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