定義域より値域が狭い関数