f
:
X
→
Y