substitutivity

Noun

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