Compact (locally compact) metric spaces Topological spaces with richer structures mathematics