Description: The uniform structure of a constructed uniform space. (Contributed by Thierry Arnoux, 5-Dec-2017)