ThmDex – An index of mathematical definitions, results, and conjectures.
F12766
Formulation 0
Let $X \in \text{Random}(\mathbb{R})$ be a D6096: Continuous random real number.
Let $\mathbb{I}$ be the D370: Set of irrational numbers.
Then \begin{equation} \mathbb{P}(X \in \mathbb{I}) = 1 \end{equation}