Separability of topological spaces Fairly general properties mathematics