同型写像
同型写像(、英: isomorphism)あるいは単に同型とは、数学において準同型写像あるいは射であって、逆射を持つものである。