diciendo que para todo x, y en H se cumple que xy está en H.