La formalización de dichas nociones y su uso en el estudio de espacios topológicos son un ejemplo de bella matematización de intuiciones.