x ∼ y, definida como que xy ∈ H, es una relación de equivalencia en G.