quotient set
商集
Meaning in context
The set of equivalence classes of a specified equivalence relation on a set X.
由指定集合 X 上某一等价关系的全部等价类组成的集合。
Example
for congruence modulo four has four members.
Usage and distinctions
Operations require compatibility with the relation before they descend to the quotient.
Recommended reading in this subject · Preparation & skip guidance
Definition sources
- 李文威 — 代数学方法,第一卷(作者源码)第1章「ZFC 公理一览」 · Checked 2026-10-14
Translation sources
- 李文威 — 代数学方法,第一卷(作者源码)第1章:「ZFC 公理一览」,商集 X/∼ 的定义 · Checked 2026-10-14