A Constructive Theory of Point-Set Nearness

An axiomatic constructive development of the theory of nearness and apartness of a point and a set is introduced as a setting for topology