Let $S = (X, +)$ be an
D21: Algebraic structure such that
(i) |
\begin{equation}
X \neq \emptyset
\end{equation}
|
A
D2218: Set element $y \in X$ is a
right identity element in $S$ if and only if
\begin{equation}
\forall \, x \in X : x + y = x
\end{equation}