等价关系 口满足性质：自反、对称、传递。 “等于”关系的推广 口例子 口模3同余关系：RC ZxZ,xRy当且仅当 x-y 是整数。 3 口RcxN,xRy iff存在正整数kl,使得x=。 ■自反：若x是任意自然数，当然k=; ■对称：若有k以使x=；也就有k使=x, ■传递：若有k以使x=；并有m,n,使=；则有x如=ml等价关系  满足性质：自反、对称、传递。  “等于”关系的推广  例子  模3同余关系: RZZ，xRy 当且仅当 是整数。  RNN，xRy iff 存在正整数k,l，使得x k=y l 。 ◼ 自反: 若x是任意自然数，当然x k=x k ; ◼ 对称：若有k,l, 使x k=y l；也就有l,k, 使y l=x k； ◼ 传递：若有k,l, 使x k=y l；并有m, n, 使y n=z m；则有 x kn=z ml 3 x − y