結果 : definition of codomain of a function