En este artículo, la σ-álgebra "X" generada por todos los subconjuntos compactos de "G" se llama el álgebra de Borel.