En este caso podemos tomar como representación implícita local para cada punto de formula_118 el abierto formula_148 y la aplicación formula_128.