También puede demostrarse que una estructura uniforme que admite un sistema fundamental de "entourages" numerable (y, en particular, una estructura definida por una familia numerable de pseudométricas) puede definirse por una única pseudométrica.