  This short expository note provides an introduction to the concept of chain
recurrence in topological dynamics and a proof of the existence complete
Lyapunov functions for homeomorphisms of compact metric spaces due to Charles
Conley. I have used it as supplementary material in introductory dynamics
courses.
