典型映射

设 R 是 A 上的等价关系

$$g(a)=[a{]}_R,a\in A$$

典型映射是 满射