f : X \rightarrow Y
