Right Cancellation Law

- Pure Mathematics -
Algebra Dictionary
Definition
A property of a binary operation stating that for a fixed element a, if x · a = y · a then x = y; when this holds for all a in a specified set, the structure is said to satisfy right cancellation for those elements.