Pre-apartness structures on spaces of functions
scientific article; zbMATH DE number 5123561