a,bが同値であるというのは
0≦a,b<n+mに対して∃n∈N(f^n(a)=b)が成り立つことを言います