Se dice que el par formula_27 es un semigrupo si la operación formula_8 es asociativa.