Para esto, definimos la compactificación "B(G)" de Bohr de "G" como "H^", donde H es como grupo G^, pero dándole la topología discreta.