Pre-apartness structures on spaces of functions

Pre-apartness structures are defined on YX, where X is an inhabited set and Y a uniform space. These structures clarify the discussion of proximal and uniform convergence in the constructive theory of apartness spaces.