前言：本篇博客主要对「等价关系」的相关知识进行总结
之前我们学习了，关系的基本定义，但在这篇博客中，我们将学习到一种特殊的关系
0X00 「等价关系」
假设 R 为非空集合 A 上的关系
「等价关系」的基本定义
如果 R 是自反的、对称的、传递的，则称 R 为 A 上的等价关系
这样很抽象我们来举个例子：
假设，我们在 A 上定义以下关系
，用大白话说就是在 A 中找出所有模 3 相等的数，并组成有序对：
按此我们可以写出以下关系：
上面的 R 我没列完全，只列出了余 1 的情况，还有余 2 的情况、余 0 的情况
我们画出 R 的「关系图」：
可以清楚的看到： R 是自反的、对称的、传递的，所以 R 是一个等价关系
「等价类」的基本定义
搞清楚了等价关系以后开始搞等价类，
等价类的基本定义如下：
设 R 为非空集合 A 上的等价关系，，令
称 为关于 R 的
等价类，简称 x 的等价类，记为
上面的定义可能很抽象，我们举个例子。
在写出 R 的等价关系以后：
其中 1 的等价类，就是关系 R 中跟他搭配过的元素：
再具体的说，等价类就是，具有相同性质的元素的集合
「商集」的基本定义
定义如下：
设 R 为非空集合 A 上的等价关系，以 R 中所有等价类作为元素的集合称为 A 关于 R 的商集记做：
比如我们之前的例子中 就是
0X02 「划分」
「划分」的基本定义
设 A 为非空集合，若 A 的子集族
则称 是 A 的一个划分
举个例子：
假设 则 A 的一个划分可以是：
「划分」与「等价关系」
划分有一个重要的性质：划分与等价关系一一对应！
我来解释一下这句话，这句话的意思就是一个集合有多少种「划分」就有多少种等价关系，我们来看一道例题：
求出 A = {1, 2, 3} 上的所有等价关系
首先我们写出 A 所有的划分：
所以一共有 5 中划分，也就是五种等价关系：
- 全域关系
- 恒等关系
