ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11162 on R4756:
F11162
Formulation 0
Let $P = (\Omega, \mathcal{F}, \mathbb{P})$ be a D1159: Probability space such that
(i) $X : \Omega \to \mathbb{R}$ is a D3161: Random real number on $P$
Let $B \subseteq \mathbb{R}$ be a D5113: Standard real Borel set.
Then \begin{equation} \{ X \in - B \} = \{ - X \in B \} \end{equation}