What is the name given to the principle that guides mathematical conventions like the product of two negative numbers is positive

I recall that I read---in a book by Constance Reid---of a named principle that guided the arithmetic conventions that applied to operations on newly discovered mathematical objects.

For example, when negative numbers were finally admitted into the fold of arithmetic, the product of two negative numbers was defined to be positive (even if it appeared on face value to be counter intuitive) to maintain logical consistency with all that went before it.

I thought this idea was called the "Principle of Arithmetic Consistency" or something like that, but I have not been able to Google successfully for any such candidate expression.

I do not believe my recollection to be false.

Could someone please tell is if such a principle does indeed exist and is recognized, and if so, what its formal name and definition are.

Thanks.

• Generality of algebra? "The algebraic rules that hold for a certain class of expressions can be extended to hold more generally on a larger class of objects, even if the rules are no longer obviously valid". The idea is due to Leibniz and the term to Cauchy. Although it is more of a claim that suitable conventions can be found than a guide to making them. Dec 3, 2017 at 21:23
• Thanks, @Conifold. Your answer prompted me toward what I was looking for. In a Long Way From Euclid, Constance Reid mentions the Principle of Permanence of Form. MathSE has a question on this too. I think this expression has gone out of use, though, because it is not found on the Web. Dec 4, 2017 at 10:28
• Additionally, Birkhoff and von Neumann use "Hankel's principle of 'The Perseverance of Formal Laws'" as a justification for type $II_1$ von Neumann algebras, instead of type $I_\infty$, in their original paper on quantum logic. Dec 17, 2017 at 19:25