A'dan B'ye tanımlı bir gönderme (f), (A,B,F) şeklinde gösterilebilen bir üçlüdür. Burada F, aşağıdaki özelliklere sahip sıralı ikili kümesidir.
Başka bir deyişle, bir bağıntının gönderme olabilmesi için, A kümesindeki herhangi bir öğenin B kümesinden en fazla bir öğeyle eşleşmesi gerekmektedir.
Gönderme, daha soyut matematiksel anlamda bir kümedir ve tanımı şu şekildedir:
göndermesi için,
buradaki
simgesi y nin biricik olduğunu ifade eder.Yukarıdaki resmi tanımlama, her zaman kullanışlı olmadığından genelde göndermeler farklı tanımlanır.
En yaygın tanımlama biçimi, örneklerde görüldüğü gibi sağ tarafı girdilere (parametrelere) dayalı formül, sol tarafı göndermenin ve bağımsız girdilerin belirtildiği bir eşitliktir.
Göndermeler aşağıda örnekte görüldüğü gibi parçalı şekilde de tanımlanabilir.
Tümevarımla yakın ilişkisi olan ilginç bir tanımlama biçimi de yinelgedir. Örneğin Fibonacci Serisi'nin üretici göndermesi şu şekilde tanımlanabilir.
Boylece
'den
'ye giden bir
fonksiyonu tanımlanır.
Başka bir deyişle, bir bağıntının gönderme olabilmesi için, A kümesindeki herhangi bir öğenin B kümesinden en fazla bir öğeyle eşleşmesi gerekmektedir.
Gönderme, daha soyut matematiksel anlamda bir kümedir ve tanımı şu şekildedir:
buradaki
En yaygın tanımlama biçimi, örneklerde görüldüğü gibi sağ tarafı girdilere (parametrelere) dayalı formül, sol tarafı göndermenin ve bağımsız girdilerin belirtildiği bir eşitliktir.
Göndermeler aşağıda örnekte görüldüğü gibi parçalı şekilde de tanımlanabilir.
Tümevarımla yakın ilişkisi olan ilginç bir tanımlama biçimi de yinelgedir. Örneğin Fibonacci Serisi'nin üretici göndermesi şu şekilde tanımlanabilir.
Boylece
