Local compactness, $\sigma$-compactness in general topology Fairly general properties mathematics