Definition:Cross Cancellation Property

Definition

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

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

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