位相の連続写像の定義って
実関数のε-δが元なのかね?