Thinking of the characteristic functions of the sets as sequences of bits, sequences in the same class could be described as "ultimately synchronous" and equivalence relation E_0 could be described as "ultimate synchronicity". Jon