[일반] 증명 스텝 질문

[익명(175.223)]

성질 10.3.12를 증명하는 과정에서
밑에서 4번째 줄부분에 더구나 f(C교집합f인벌스(K))=f(C)교집합K부분이 이해가 잘 안됩니다.
이렇게 나눠서 교집합이 되려면 f가 단사함수여하는데
단사함수 정보를 못찾겠습니다.

[익명(112.167)]

그 성질은 X에서 두 집합을 잡았을 때의 경우고, 이 경우는 K를 Y에서 잡았기 때문에 f(C)에 속하는 y에 대해 y = f(x)이면 x는 f^-1(K)에 속하게 되어있음.

[익명(175.223)]

ㅇㅋㅇㅋ 이해 됐음