Operatör, fonksiyonun daha özel bir hâlidir denebilir. Yaygın tanımıyla operatör, bir vektör uzayından diğerine tanımlanmış tasvîrdir (mapping).
Fonksiyonlarda ise tanım ve değer kümeleri için böyle bir sınırlama yok. Bir A kümesi ile B kümesinin elemanlarıyla, her a∈A'ya yalnız ve yalnız bir b∈B karşılık gelecek şekilde oluşturulmuş sıralı {(a,b):a∈A,b∈B} ikililer kümesine fonksiyon diyoruz. Tanım ne kadar da genel değil mi?!