text: Это имеет место при условии ∀ ε > 0 ∃ N ( ε ) ∀ n > N ( ε ) | a n − b n | < ε {\displaystyle \forall \varepsilon >0\;\exists N(\varepsilon )\;\forall n>N(\varepsilon )\;|a_{n}-b_{n}|<\varepsilon } Таким образом, на множестве всех фундаментальных последовательностей рациональных чисел устанавливается отношение эквивалентности, и в соответствии с общим принципом все фундаментальные последовательности разбиваются на классы эквивалентности.