En otras palabras, un "semigrupo" es un "magma asociativo".