qは可算無限集合である(何故なら、分母と分子の組を二次元平面上の格子点と考え、例えばうずまき状に取り尽くしていけば、自然数全体に対応するからである)。