Introduction
Part I: Basics
Membership and Edge Relations
Sets, Graphs, and Set Universes
Part II: Graphs as Sets
The Undirected Structure Underlying Sets
Graphs as Transitive Sets
Part III: Sets as Graphs
Counting and Encoding Sets
Random Generation of Sets
Infinite Sets and Finite Combinatorics
Appendix: Excerpts from a Referee-Checked Proof-Script