4.5.1 等价关系

可，以看出，当模数k给定后，整数集就被分为了k个子集合，两两互不相交。

等价类

定义

性质

商集与划分

等价关系对集合形成的【商集】

就是集合被特定等价关系所划分为各个子集合的集合。

集合的【划分】

商集就是一种对集合的“划分”。定义划分如下。