f:Y 若f是满射 则对于X的任意子集A 有()。