Cancellation Law

- Mathematics & Logic -
Pure Mathematics Dictionary
A property that permits removing a common factor from an equation: left cancellation means a·b = a·c implies b = c, and right cancellation means b·a = c·a implies b = c, when the cancelling element a satisfies the needed conditions.