局所連続性の定義と開写像の性質