Description: Topology induced by a uniform structure U with its base set. (Contributed by Thierry Arnoux, 5-Jan-2018)