MathGloss
A
semigroup
is a
magma
$(X,
)$ whose
binary operation
$
$ is
associative
.
Wikidata ID:
Q207348