Se verifica que x ∼ y ↔ xy ∈ H es una relación de equivalencia cuyas clases de equivalencia son los conjuntos de