La ley que establece que la forma de agrupar operandos en la aplicación repetida de un operador binario no altera el resultado; formalmente, para ⊗ y A, B, C: (A ⊗ B) ⊗ C = A ⊗ (B ⊗ C) (ej.: (A ∧ B) ∧ C = A ∧ (B ∧ C)).
Una operación binaria * en un conjunto satisface la ley asociativa si para todo a,b,c se cumple (a*b)*c = a*(b*c); la colocación de paréntesis no altera el resultado de aplicaciones sucesivas de la operación.
Propiedad algebraica de una operación binaria por la cual la agrupación (parentetización) de los operandos no altera el resultado: para todos a, b, c del dominio, (a·b)·c = a·(b·c).