[pfortuny]

It is just a way to hide the definition of local compactness of a topological space with a mistake (should be U included in K).