同型写像

単射でもあり全射でもある写像を同型写像という.

同型写像では2つの集合の元の間に過不足なく1対1の対応関係が成立する.すなわち、同型写像には逆写像が存在する.