ThmDex – An index of mathematical definitions, results, and conjectures.
P3029
Using result R1530: Inverse image preserves set difference and the stationarity of $E$, we have \begin{equation} T^{-1}(X \setminus E) = T^{-1}(X) \setminus T^{-1}(E) = T^{-1}(X) \setminus E = X \setminus E \end{equation} $\square$