동치 및 동위동형 사상 정의 (동위동형이 동치 동형이 되는 경우)