Sea "G" el conjunto de elementos de máxima generalidad de "H".