[일반] 집합론린이 질문

[익명(222.236)]

가부번집합과 전단사인 집합역시 가부번집합임을 어떻게 증명하나요? 자명해보이는데 증명해야 하는것 같던데..

[5둥리카일렝이(lillollool)]

가부번의 정의랑 전단사의 합성은 전단사 이용해서 자연수집합과 가부번임을 보이고자하는 집합사이 전단사함수를 만들어줄수잇어요

[익명(175.223)]

가부번 집합의 정의만 제대로 파악하면 될텐데