Tanım kümesinden görüntü kümesine olduğunu belirtmek için → kullanılır.
Elemandan elemana olduğunu belirtmek için ↦ kullanılır.
Burada y elemanının görüntüsünün F(x,y) olduğunu söylüyor.
Tabii bu G gibi yeni bir fonksiyon.
G(y)=F(x,y).
Her x∈C için böyle fonksiyonlar üzerinde yorum yapıyorsa
kuralı Gx(y)=F(x,y) olan Gx fonksiyonları için bu özelliklerin sağlandığını belirtiyor olabilir.