substitutivity
/ (ˌsʌbstɪtjuːˈtɪvɪtɪ) /
noun
logic philosophy
the principle that expressions with the same reference can be substituted for one another without affecting the truth-value of any context in which they occur
See also transparent context, opaque context