ところで、質問ですが、斎藤毅さんが、

「X を任意の集合とする。空写像 φ → X も定値写像とよぶ。」と書かなかったのはなぜですか？

行き先が空集合である空写像のみを定値写像と呼んでいるのはなぜでしょうか？