f : A \rightarrow B