Ü

Her fonksiyon bir bağıntıdır. Fakat her bağıntı fonksiyon olmayabilir.

Ü

Görüntü kümesi değer kümesinin alt kümesidir.

Ü

s(A) = m ve s(B) = n olmak üzere,

  i) A dan B ye n^m tane fonksiyon tanımlanabilir.

 ii) B den A ya mⁿ tane fonksiyon tanımlanabilir.

iii) A dan B ye tanımlanabilen fonksiyon olmayan bağıntıların sayısı 2^{m × n} – n^m dir.

Ü

Grafiği verilen bir bağıntının fonksiyon olup olmadığını anlamak için, y eksenine paralel doğrular çizilir. Bu doğrular fonksiyonun belirttiği eğride en az bir ve en çok bir noktayı kesiyorsa verilen bağıntı x ten y ye bir fonksiyondur.