Un espacio uniforme formula_1 es un espacio de Kolmogórov si y solamente si la intersección de todos los elementos de su estructura uniforme es igual a la diagonal formula_130.