X, Y는 집합

surjection X->Y, Y->X
둘 다 존재하면 bijection X->Y 존재

이거 참이냐?
surjection을 injection로 바꾼 경우도 참?

그냥 느낌으론 둘 다 참인데