: Covers topological spaces, metric spaces, compactness, connectedness, and completeness including metrizability and compactification.