This chapter proves results involving the quantum ergodicity of certain high-frequency eigenfunctions. Ergodic theory originally arose in the work of physicists studying statistical mechanics at the end of the nineteenth century. The word ergodic has as its roots two Greek words: ergon, meaning work or energy, and hodos, meaning path or way. Even though ergodic theory's initial development was motivated by physical problems, it has become an important branch of pure mathematics that studies dynamical systems possessing an invariant measure. Thus, this chapter first presents some of the basic limit theorems that are key to the classical theory. It then turns to quantum ergodicity.