[[!redirects premetric space]] [[!redirects premetric]] < [[nlab:Booij premetric space]] category: redirected to nlab