等价类

等价类
术语名称	等价类
英语名称	equivalence class

等价类(equivalence class)指一个带有等价关系的集合上，相互之间具有等价关系的元素所构成的子集。

定义

对集合 [math]\displaystyle{ S }[/math] ， [math]\displaystyle{ S }[/math] 上有一个等价关系 [math]\displaystyle{ \sim }[/math] ，对 [math]\displaystyle{ S }[/math] 中任意元素 [math]\displaystyle{ a }[/math] ，记集合 [math]\displaystyle{ [a] = \left\{x\in S \mid x\sim a \right\} }[/math] ，称为元素 [math]\displaystyle{ a }[/math] 的等价类(equivalence class of [math]\displaystyle{ a }[/math]) ，元素 [math]\displaystyle{ a }[/math] 称为等价类 [math]\displaystyle{ [a] }[/math] 的代表元(representative) ，并称元素 [math]\displaystyle{ a }[/math] 代表(represent) 这个等价类。

在需要指明关系时，也记作 [math]\displaystyle{ [a]_{\sim} }[/math] 。

性质

集合上某一等价关系的全部的等价类总是构成原集合的一个划分。

等价关系
等价	划分
结构	等价类、setoid、商集、自然映射