I) H es un subconjunto no vacío de G tal que la estructura de G restriguida a H define una estructura de grupo (basada) en H.