La operación binaria es siempre asociativa en H puesto que es asociativa para todas las ternas de elementos de G, y todos los elementos de H pertenecen a G.