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