\begin{definition}[Definition:Cross Cancellation Property]
Let $\struct {S, \circ}$ be an algebraic structure.
Then $\circ$ is said to have the '''cross cancellation property''' {{iff}}:
:$\forall a, b, c \in S: a \circ b = c \circ a \implies b = c$
Category:Definitions/Abstract Algebra
Category:Definitions/Cancellability
\end{definition}