设 R 是 集合 A 上的等价关系,定义映射 g：A → A/R 为
　　　　g(a) = [a],
即把 A 的元素 a 映射到 a 的等价类 [a],这样的映射就称为自然映射.比如整数集 Z 在某等价关系下分成两个等价类：偶数类 2Z 和 奇数类 2Z+1,则分别把 2k 和 2k+1 映成 2Z 和 2Z+1 的映射就是一个自然映射.