We present a new version of the overtaking criterion, which we call generalized time-invariant overtaking. The generalized time-invariant overtaking criterion (on the space of infinite utility streams) is defined by extending proliferating sequences of complete and transitive binary relations...