\begin{definition}[Definition:Right Cancellable Operation]
Let $\struct {S, \circ}$ be an algebraic structure.
The operation $\circ$ in $\struct {S, \circ}$ is '''right cancellable''' {{iff}}:
:$\forall a, b, c \in S: a \circ c = b \circ c \implies a = b$
That is, {{iff}} all elements of $\struct {S, \circ}$ are right cancellable.
\end{definition}