Verificación de propiedades topológicas de conjuntos abiertos y cerrados (por ejemplo, equivalencia de aplicaciones continuas)