안녕하세요. 질문에 대한 관련 답변입니다. 성질 동그라미3에서 g o f = Ix , f o g = Iy 이면 g는 f의 역함수임을 이용하기 위해 g o f = Ix , f o g = Iy 를 둘다 보여준 것입니다. 정의역, 공역이 실수의 부분집합일때는 둘 중 하나만 보여주어도 상관없습니다만 간단히 아는 정도로만 배웁니다.