Intermediate Frequency -- from Eric Weisstein's World of Physics

If a heterodyne signal is up-converted,

and if it is down-converted,

where is the radio frequency and is the local oscillator frequency.

Heterodyne Conversion, Local Oscillator, Mixer, Radio Frequency, Sideband