A kümesinin her bir elemanı B kümesinin bir elemanı ve yalnız bir elamanıyla eşleştiren bağıntıya A dan Bye tanımlı fonksiyon denir.
A, fonksiyonunun tanım kümesi ve B değer kümesidir.
A dan B ye tanımlı bir F bağıntısının olması için 2 şart sağlanması lazım.
1. A kümesinde görüntü olmayan eleman kalmamalıdır.
2. A kümesinde herhangi bir eleman B kümesindeki birden fazla elemanla eşleşmemelidir.
:D ........................... XD