This paper is a systematic study of reflection theorems for cardinal functions. Loosely speaking, reflection theorems state that whenever a space has a property P then some "small" subspace must also have property P. We give new proofs of the major reflection theorems as part of this study.