cancellation law


noun

a mathematical rule pertaining to certain algebraic structures, as an integral domain or a field, that allows cancellation of a nonzero common factor of two equivalent quantities.