sentences:  The convergence was defined by Robert Wijsman.The same definition was used earlier by Zdeněk Frolík.Yet earlier, Hausdorff in his book "Grundzüge der Mengenlehre" defined so called "closed limits";
  for proper metric spaces it is the same as Wijsman convergence.