En el capítulo Los Grupos Generados, definimos el producto formula_255 de dos subconjuntos formula_256 y formula_257 de un grupo como el conjunto formado por todos los posibles productos con un primer factor en formula_256 y su segundo factor en formula_257.