A partir de aquí, se llega a deducir que cualquier estructura uniforme puede definirse a partir de una familia (no necesariamente numerable) de pseudométricas.