(mathematics) Any set for which there is a binary operation that is closed and associative.
1988, A. Ya Aǐzenshtat, Boris M. Schein (translator), On Ideals of Semigroups of Endomorphisms, Ben Silver (editor), Nineteen Papers on Algebraic Semigroups, American Mathematical Society Translations, Series 2, Volume 139, page 11,
It follows naturally that various classes of ordered sets can be characterized by semigroup properties of endomorphism semigroups.