ThmDex – An index of mathematical definitions, results, and conjectures.
F11161
Formulation 0
Let $f : X \to \mathbb{R}$ be a D4364: Real function such that
(i) $B \subseteq \mathbb{R}$ is a D78: Subset of $\mathbb{R}$
Then \begin{equation} f^{-1}(- B) = (- f)^{-1}(B) \end{equation}