위상 공간의 공리적 기술 (열린 집합, 닫힌 집합, 연속 함수)