On proximities generated by countable families of entourages
It is shown that any proximity that is generated by a countable family of entourages is sequential. Metrization theorems for proximities are derived.
It is shown that any proximity that is generated by a countable family of entourages is sequential. Metrization theorems for proximities are derived.
Page 1