지역 연속성의 정의와 열린 사상들의 성질