by | Nov 22, 2025

Covers proofs about discrete structures including sets and set operations, injective functions, transitive relations, and graph properties. Introduces element chasing proofs, pigeonhole principle, and the Handshake Lemma for graphs.