substitutivity

Today it means: A logical relationship in which two terms can be mutually substituted without affecting the truth value of any propositions in which the terms occur, thereby establishing that the terms are identical. Full definition →