III) H es un subconjunto no vacío de G tal que para todo x, y en G se cumple que x, y en H ==> xy está en H.