PROOF 160
곱의 법칙과 합의 법칙
유한집합 위에서.
정의 D1
유한집합 A 에 대하여 |A| = m 이라는 것은, A 에서 {1, 2, …, m} 으로 가는 전단사가 있다는 뜻이다.
증명.
관련 실험실