Noun
substitutivity (uncountable)
(philosophy) 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.