Covering dimension of topological spaces Fairly general properties mathematics