generated at
恒等写像
始域終域が等しく、どんな元xも同じ元xに移す写像


集合Xから集合Xへの恒等写像を
\mathrm{id}_x
と表記することがある