Definition:Cross Cancellation Property

Definition
Let $\left({S, \circ}\right)$ be an algebraic structure.

Then $\circ$ is said to have the cross cancellation property iff:


 * $a \circ b = c \circ a \implies b = c$

holds for all $a, b, c \in S$.