Building Sets from the ZF Axioms (Specification, Replacement, Union, Power Set)

Each ZF axiom is a license to form a new set from old ones; knowing which axiom does which job lets you justify every set-building step.