La operación puede ser cualquier forma de combinar dos cosasS y recuperar otra;S no necesita ser una colección de funciones, y la operación no necesita ser composición. ¡Un grupo se define pur...La operación puede ser cualquier forma de combinar dos cosasS y recuperar otra;S no necesita ser una colección de funciones, y la operación no necesita ser composición. ¡Un grupo se define puramente por las reglas que sigue! La suma toma dos enteros y devuelve otro entero. (Aquí estamos comprobando el requisito de que la operación sea una deS\times S\rightarrow S. ¡Observe que la salida de la operación siempre está adentroS!
