Description: A complete uniform space is an uniform space. (Contributed by Thierry Arnoux, 3-Dec-2017)