A’dan B ‘ye tanımlı bir f fonksiyonunda A tanım kümesindeki her eleman B kümesinde en az bir eleman açıkta kalacak şekilde B ‘nin elemanları ile eşleşiyorsa f fonksiyonuna A’dan B ‘ye “içine fonksiyon ” denir.
A’dan B ‘ye tanımlı bir f fonksiyonunda A tanım kümesindeki her eleman B kümesinde en az bir eleman açıkta kalacak şekilde B ‘nin elemanları ile eşleşiyorsa f fonksiyonuna A’dan B ‘ye “içine fonksiyon ” denir.