위상 구조의 공리적 형식화: 열린 집합, 닫힌 집합, 그리고 위상의 기초에 대한 정의