# Definition:Cross Cancellation Property

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$