es finita para subconjuntos compactos "A" y distinta a cero y positiva para los conjuntos abiertos.