ここで、有理数列(つまり自然数から有理数への写像)がコーシー列であるとは、