Notes about math, research, and more.
A semigroup is a nonempty set G with a binary operation which is associative.