結果 : a function is called surjective if range codomain