Pemeriksaan U.37. Separabilitas memberi basis terhitung pada ruang metrik.
Misalkan \(D\) padat dan terhitung dalam ruang metrik \(X\text{.}\) Buktikan bahwa bola-bola berpusat di \(D\) dengan jari-jari rasional positif membentuk basis bagi \(X\text{.}\)