f：A→B导出的A上的等价关系R定义如下：R={〈x，y〉|x，y∈A且f（x)=f（y)}．设f1，f2，f3，f4∈NN，且 f1（n)=n ∈N f2（n)=

f：A→B导出的A上的等价关系R定义如下：R={〈x，y〉|x，y∈A且f(x)=f(y)}．设f₁，f₂，f₃，f₄∈N^N，且

f₁(n)=n∈N

f2(n)=1 n为奇数；f₂(n)=0，n为偶数

f₃(n)=j n=3k+j，j=0，1，2，k∈N

f₄(n)=j n=6k+j，j=0，1，…，5，k∈NR_i为f_i导出的等价关系，i=1，2，3，4．