geometrical idea.   The concepts of pretopology and topology, habitually marginalized in