斎藤毅著『集合と位相』を読んでいます。

次のような自明な問題を出題しています。

この出題の意図は何でしょうか？



写像 f : X → X に対し、次の条件 (1) - (5) は同値であることを示せ。

(1) f は X の恒等写像 id_X である。
(2) 任意の集合 Y と任意の写像 g : X → Y に対し、 g 〇 f = g である。

以下略。