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