恒等写像
https://ja.wikipedia.org/wiki/%E6%81%92%E7%AD%89%E5%86%99%E5%83%8F
M を集合として、M 上の恒等写像 f とは、定義域および終域がともに M であるような写像であって、M の任意の元 x に対してf(x) = xを満たすものを言う