BPI et prétopologie

Début de week-end à la BPI, cela faisait longtemps. À la recherche d'une antériorité sur un théorème sur lequel je réfléchis, je trouve un "manuel de prétopologie".

Concept intéressant, notamment la (m-n) continuité : $f\circ <!--\; \circ \; -->a^m\subset <!--\; \subset \; -->a^n\circ <!--\; \circ \; -->f$ , où a est l'adhérence dans l'espace d'arrivée ou de départ.