cancellation law

noun

1. 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.