cancellation law

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.