A D264: Semigroup $G = (X, \times)$ is a monoid if and only if \begin{equation} \exists \, 1_G \in X : \forall \, x \in X : 1_G x = x 1_G = x \end{equation}