Definitions of expander graphs (edge expansion and spectral expansion), equivalence of definitions, the Alon-Boppana theorem, expansion of random graphs, Margulis's construction, expansion in lifts of ...