ThmDex – An index of mathematical definitions, results, and conjectures.
F13427
Formulation 2
Let $x \in \mathbb{I}$ be an D1243: Irrational number.
Let $q \in \mathbb{Q}$ be a D994: Rational number.
Then \begin{equation} x + q = q + x \in \mathbb{I} \end{equation}