En términos abstractos, el interés principal de este par de definiciones es preguntar si ésta es también una condición necesaria es una manera de detectar la información topológica por condiciones diferenciales.