距離空間上の関数の極限定義

距離空間から距離空間への写像の極限の定義を完成。
次は、距離空間から距離空間への写像の連続性。