54D15 Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.) 2090