Compactness in general topology Fairly general properties mathematics