当集合Df包含于集合Y时.映射f:X→Y是不是与映射f:X→Df一样?