実数全体Rについて考えているとき、有理数全体Qの補集合R∖Q{\displaystyle\mathbf{R}\setminus\mathbf{Q}}は無理数全体である。
在实数集R{\displaystyle\mathbb{R}}中，有理数集Q{\displaystyle\mathbb{Q}}是Fσ集，无理数集R∖Q{\displaystyle\mathbb{R}\setminus\mathbb{Q}}不是Fσ集。