This is a browser-friendly view of the QMath context semigroup.qmath\nas can be found in jEditOQMath and QMath distributions among English contexts for Mathematics.
|| Extracted from content-dictionary semigroup || http://www.openmath.org/cd/semigroup.html || http://www.openmath.org/cd/semigroup.ocd Symbol: associative SYMBOL "semigroup:associative" Symbol: make_Semigroup APPLICATION "semigroup:make_Semigroup" Symbol: Semigroup APPLICATION "semigroup:Semigroup"