Notes about math, research, and more.
A semigroup which contains an identity