#等价关系

商集证明的小技巧

从可达关系与开等价类出发，用连通性和紧性控制类别，再推广到映射下降、模掉核、几乎处处相等及 Vitali 代表元构造。