La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple si, dados tres o más "elementos" cualquiera de un conjunto determinado, se verifica que existe una "operación": formula_1, que cumpla la igualdad: