Al establecer que un conjunto ("S, formula_6") cumple con la ley asociativa queda definida una estructura algebraica de semigrupo.