Section 3.6

Section 3.6 covers cardinality, covering mostly finite sets.