Кстати, пользуясь случаем, хочу поблагодарить чела, который записал в статью в Википедии [1] очевидное после прочтения замечание, что "Пополнение метрического M пространства изометрично замыканию образа при вложении Куратовского". Психологически приятно, что точки пополнения каноническим образом представляются как функции на исходном метрическом пространстве.
![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small}