全域関数
total function
普通の
写像
のことやね