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