等价关系

$R$ 为 $A$ 上的等价关系, 当且仅当 $R$ 是 自反, 对称, 传递 的.

若 $<x,y>\in R$, $x,y$ 是等价的, $x\sim y$.