The earthquake seismology and seismic exploration communities have developed a variety of seismic imaging methods for passive- and active-source data. Despite the seemingly different approaches and underlying principles, many of these methods are based in some way or another on the same mathematical theorem. Starting with this theorem, we discuss a variety of classical and recent seismic imaging methods in a systematic way and explain their similarities and differences.