Wiktionary
substitutivity
n. (context philosophy English) 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.