cancellation law

(redirected from Cancellation property)
Also found in: Wikipedia.

cancellation law

[kan·sə′lā·shən ‚lȯ]
(mathematics)
A rule which allows formal division by common factors in equal products, even in systems which have no division, as integral domains; ab = ac implies that b = c.
References in periodicals archive ?
The left cancellation property now allows us to lift the inverse [bar.[alpha]]: Y [right arrow] M of [alpha] : X [right arrow] M over the enlargement of domain p: Y [right arrow] X which comes with it to a morphism [[alpha].sup.-1]: X [right arrow] M.
In fact, as we shall see below, when m satisfies the left cancellation property, we may choose p = [1.sub.X].
We can use this to show that the composition satisfies the left cancellation property: [gamma][omicron][beta] = [gamma][omicron][delta] implies [beta] = [delta].