Proximitní topologické prostory - Tobiášová-Kadlecová, Miluše (1972)