Пополне́ние равноме́рного простра́нства $X$, отделимое полное равномерное пространство $\hat{X}$ такое, что существует равномерно непрерывное отображение $i: X \rightarrow \hat{X}$ и для любого равномерно непрерывного отображения $f$ пространства $X$ в отделимое полное равномерное пространство $Y$ существует, и притом единственное, равномерно непрерывное отображение $g: \hat{X} \rightarrow Y$, причём $f=g \circ i$. Подпространство $i(X)$ плотно в $\hat{X}$, и образы при отображении $i \times i$ окружений для $X$ являются окружениями для $i(X)$, а замыкания последних в $\hat{X} \times \hat{X}$ образуют фундаментальную систему окружений для $\hat{X}$. Когда $X$ отделимо, $i$ инъективно, что позволяет отождествить $X$ с $i(X)$. Отделимое пополнение подпространства $A \subset X$ изоморфно замыканию $i(A) \subset \hat{X}$. Отделимое пополнение произведения равномерных пространств изоморфно произведению отделимых пополнений пространств-сомножителей.

Доказательство существования $\hat{X}$ по существу обобщает построение Г. Кантора множества действительных чисел из чисел рациональных.