>>206
> 集合N'は二つの元から成る有限集合か?

https://www.people.vcu.edu/~rhammack/BookOfProof/BookOfProof.pdf

p.13 Example 1.3, p.15 Example 1.4などを見て
Exercises for Section 1.3, 1.4あたりを解いてみれば?