证明：f:X→Y是函数，则f o IX = f 且 IYof = f
证明：f:X→Y是函数，则f o IX = f 且 IYof = f
1
证明：f:X→Y是函数，则f o IX = f 且 IYof = f