Los conjuntos borelianos determinados en la declaración del teorema se refieren a la σ-álgebra generada por los "conjuntos abiertos".