Definition:Cross Cancellation Property

Definition
Let $\struct {S, \circ}$ be an algebraic structure.

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


 * $\forall a, b, c \in S: a \circ b = c \circ a \implies b = c$