Una medidam:M→E∗ in(S,G) se llama topológica iff,G⊆M, es decir, todos los conjuntos abiertos son medibles;m es una m...Una medidam:M→E∗ in(S,G) se llama topológica iff,G⊆M, es decir, todos los conjuntos abiertos son medibles;m es una medida de Borel iffM=B. Sim:M→E∗ es una medida fuertemente regular en(S,G), entonces para cualquieraA∈M, hay conjuntos mediblesH∈Fσ yK∈Gδ tal que