O de otro modo, "H" es un subgrupo de "G" si la restricción de * a "H" satisface los axiomas de grupo.