有理数であるための分数p/qの条件が本によって違う。
自然数と書いてある本があるが負の実数でもよいはず。
ゼロはだめなはずなのに除外していない本が多い。
互いに素であることは実数であるためには必要ではないのではないか。