Section 5.2

Section 5.2 defines the notion of equivalent sequences. We are mainly interested in seeing when two Cauchy sequences of rationals are equivalent, but the definition works for any two sequences.