Пополнение
Топологического векторного пространства X — топологическое векторное пространство такое, что Xявляется подпространством и Xплотно в . Под П. понимают также и операцию перехода от Xк ; стандартное ее осуществление — с помощью направлепностей (в частности, последовательностей Коши). М. И. Войцеховский.