Discrete-math 24 Cardinality definition Finite sets definition Relation “have the same cardinality” definition Naturals and Integers lemma Naturals and Natural pairs lemma Countable set definition Dominant set definition Cantor’s theorem theorem