Una operación binaria formula_4 sobre un conjunto formula_1 se dice asociativa si