Asociatividad
Sea G un conjunto en el cual se ha definido una operación binaria interna *, es decir una aplicación:
G×G → G
(x,y) → x*y
Se dice que * es asociativa si verifica para todo (x,y,z) de G³ la igualdad x*(y*z) = (x*y)*z, donde las paréntesis indican que hay que hacer la operación interna antes de hacer la operación externa.
Ejemplos fundamentales: En el conjunto C de los números complejos, y por restricción, en el conjunto R de los números reales, la suma (adición) y el producto (multiplicación) son operaciones asociativas.