等价关系

维基百科，自由的百科全书

此条目的内容可能有不周全之处，您可以考虑從en:Equivalence relation翻譯成中文。 歡迎您積極參與，协助改善这篇条目。

设 R 是集合 A 上的一个二元关系，若 R 满足：

1. 自反性：
2. 对称性：
3. 传递性：

则称 R 是定义在 A 上的一个等价关系。

例如，设 ，定义A上的关系R如下：

其中 叫做 x 与 y 模 3 同餘，即 x 除以 3 的餘数与 y 除以 3 的餘数相等。不难验证 R 为 A 上的等价关系。

[编辑] 参见

• 等价类
• 集合划分
• 商集