Что такое отделимое пространство?

[Ivan_B]

Слово "отделимо" встретилось мне в следующем контексте:

Колмогоров, Фомин. 4-e изд. стр. 191 писал(а):

Такое отображение $E$ в $E^{**}$ называется естественным отображением пространства $E$ во второе сопряженное. Обозначим его $\pi$. Если на $E$ есть достаточно многолинейных функционалов (например, если $E$ нормировано или хотя бы локально выпукло и отделимо),

Найти определение в книге мне не удалось:

Колмогоров, Фомин. 4-e изд. стр. 95 писал(а):

Аксиома $T_2$ (вторая, или хаусдорфова, аксиомаотделимости) : любые две различные точки $x$ и $y$ топологического пространства $T$ имеют непересекающиеся окрестности $O_x$ и $O_y$. Пространства, удовлетворяющие этой аксиоме, называются $T_2$-пространствами, или хаусдорфовыми пространствами.

В интернете нашел, что это и есть отделимое пространство. В конце 20-й страницы. http://math.phys.msu.ru/data/172/fanI5.pdf
Полагаться на интернет не хочу (источник выглядит надежным, но может там терминология отличается в каких-то деталях)
Подскажите, пожалуйста.

[demolishka]

У Колмогорова-Фомина отделимыми называются $T_{1}$-пространства. Это видно из первых страниц параграфа про ТВП. Потому что ТВП автоматически удовлетворяют $T_{3}$, а если вдобавок есть $T_{1}$, то и $T_{2}$.

[Ivan_B]

Понял. Спасибо огромное!