恒等写像
始域と終域が等しく、どんな元xも同じ元xに移す写像
集合Xから集合Xへの恒等写像を
$ \mathrm{id}_x
と表記することがある
『群論への第一歩』p.37