topologia:exemplo:n_nparacompacto