호모모르피즘의 정의와 성질 (가역적 연속 함수의 역함수의 연속성 등)