Let $\struct {R, +, \circ}$ be a ring.
The semigroup $\struct {R, \circ}$ is known as the multiplicative semigroup of $R$.