Definition:Cross Cancellation Property
Jump to navigation
Jump to search
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$