定義

X上の同値関係は、

部分集合R\sube X\times Xで、

全てのx\in Xに対して、以下3つの性質を満たすようなもののことを言う

例

集合S上の関係x=yは同値関係である