位相空間の公理的記述(開集合、閉集合、連続写像)