LECTURE NOTES IN ANALYSIS (2011)
《LECTURE NOTES IN ANALYSIS (2011)》 · 第 300 页 · Section 6.1「Farey Fractions」，Definition 6.1
The sequence of all reduced fractions with denominators not exceeding $n$, listed in order of their size, is called the Farey sequence of order $n$.