定義1.1のg : R → Rというのは「Rからそれ自身への恒等写像」という意味なのかな?