Un subconjunto no vacío H de G define un subgrupo de G, ssi, para todo a, b en G se cumple que a, b en H implica que formula_3 también está en H.