LZ应该还添句话吧...设f是集合A到集合B的一个映射...
因为映射允许集合B中的元素在集合A中可以没有原象,也就是由象组成的集合(函数值的集合)C是B的子集