Left Cancellation Law

- Pure Mathematics -
Algebra Dictionary
A property of a binary operation in an algebraic structure that says: for a fixed element a, if a · x = a · y then x = y; when this holds for all a in a specified subset, we say left cancellation holds there.