準同型 "f" が全単射であるとき、同型(写像)と呼び、"r"1と "r"2は同型であるという。