모든 실수 x에 대하여, g(f(x))=x이면 f는 g의 역함수이다.

여기서 꼭 f(g(x))=x라는 가정이 추가로 들어가야 참임?

없어도 되지 않나?


정의역이 모든 실수고 g(f(x)=x이면 자체적으로 f의 치역과 공역이 같음을 보인거 아님?