Un "grupo" consiste en un conjunto dotado de una operación que combina dos elementos cualesquiera y da un tercero.