映射限制

映射的限制(restriction of a mapping)又称映射的收缩、部分映射，是一种特殊的映射，是与对应的限制、关系的限制同义的概念。给定集合AiCA和映射f;A，->B，g;A->B，若对任何aEA，均有f <a)=g<a)，则f称为g关于集合A1的限制映射.记为g } n1，即f=g } n1" g称为f的延拓映射或映射的扩张.任何映射向其定义域的非空子集的限制映射是惟一存在的.而一个映射向其定义域的母集的延拓映射则可用多种方式给出多种结果.给定f:A->B，A1CA，当。