Description: The topology induced by a uniform structure U . (Contributed by Thierry Arnoux, 30-Nov-2017)