Let $\mathbb{R}$ be the D282: Set of real numbers.
Let $\mathbb{Q}$ be the D368: Set of rational numbers.
The set of irrational numbers is the D11: Set
\begin{equation}
\mathbb{I} : = \mathbb{R} \setminus \mathbb{Q}
\end{equation}
| ▶ | R3379: Product of irrational numbers is not necessarily irrational |
| ▶ | R3381: Product of rational and irrational number is irrational |
| ▶ | R3380: Sum of rational and irrational number is irrational |