"G" es un conjunto cerrado de este producto y por tanto es también compacto y de Hausdorff.