Un grupo es un par ordenado compuesto por un conjunto, "G" y una operación binaria cerrada en "G" o ley de composición interna «formula_6» que al componer dos elementos cualesquiera de G: "a" y "b", obtiene otro elemento de G cuya notación es "a formula_6 b".