Complete metric spaces Topological spaces with richer structures mathematics