Sea f : A → B.