Definición


Sea un Conjunto en el cual se definió una operación binaria interna tal que

Se dice que la operación es asociativa si cumple que