Entonces, los conjuntos formula_160 constituyen un sistema fundamental de "entourages" para la estructura uniforme requerida en formula_139.