Description: Asemigroup is a magma with an associative operation. Definition in
section II.1 of Bruck p. 23, or of an "associative magma" in definition
5 of BourbakiAlg1 p. 4, or of a semigroup in section 1.3 of Hall p. 7.
(Contributed by AV, 6-Jan-2020)