Çokdeğerli fonksiyon, bir fonksiyonun tanım kümesindeki her bir elemanın değer kümesindeki elemanlardan birden fazlasına eşleşmesine denir.[1]
Fonksiyon, matematikte değişken sayıları girdi olarak kabul edip bunlardan bir çıktı sayısı oluşmasını sağlayan kurallardır. Fonksiyon, 17. yüzyılda matematiğin kavramlarından biri olmuştur. Fizik, mühendislik, mimarlık ve birçok alanda kullanılmaktadır. Galile, Kepler ve Newton hareketlerin araştırılmasında, zaman ve mesafe arasındaki durumu incelemek için fonksiyonlardan faydalanmıştır. Dört işlemden sonra gelen bir işlem türüdür.
Birim fonksiyon (özdeşlik fonksiyonu, özdeşlik gönderimi, özdeşlik dönüşümü, birim dönüşüm, birim işlev gibi farklı şekillerde de kullanılır), her zaman kendisine verilen değeri döndüren fonksiyondur. f(x) = x şeklinde ifade edilebilir.
Bileşke fonksiyon, matematikte bir işlevdir.
Analitik fonksiyon, karmaşık düzlemde, açık kümeler üstüne tanımlı bir tür karmaşık değerli fonksiyon. Karmaşık düzlemin Ω (omega) ile gösterilen açık kümesi üstüne tanımlı f fonksiyonu analitikse, Ω'nın her a noktasının bu kümede yer alan bir U komşuluğu vardır ve U'nun her z öğesi için,
İşlem, bir işi sonuçlandırmak için gerçekleştirilen çalışmalar bütünü; muamele. Örnek: "Gerekli işlem gerçekleştirildikten sonra paranızı çekebilirsiniz".
Küme, matematikte farklı nesnelerin topluluğu veya yığını olarak tanımlanmaktadır. Bu tanımdaki "nesne" soyut ya da somut bir şeydir. Fakat her ne olursa olsun iyi tanımlanmış olan bir şeyi, bir eşyayı ifade etmektedir. Örneğin, "Tüm canlılar topluluğu", "Dilimiz alfabesindeki harflerin topluluğu", "Masamın üzerindeki tüm kâğıtlar" tümcelerindeki nesnelerin anlaşılabilir, belirgin oldukları, kısaca iyi tanımlı oldukları açıkça ifade edilmektedir. Dolayısıyla bu tümcelerin her biri bir kümeyi tarif etmektedir. O halde, matematikte "İyi tanımlı nesnelerin topluluğuna küme denir." biçiminde bir tanımlama yapılmaktadır.
Gerçel fonksiyonlar, matematiksel analizin özellikle reel analizin klasikleşmiş nesneleridir.Bu bağlamda, gerçek değerli bir fonksiyonun aynı zamanda tanım kümesini gerçek sayıların oluşturduğu gerçek değerli fonksiyon anlamına geldiği söylenebilir.Ancak, Fourier Analizinde olduğu gibi, kimi zaman tanım kümesi reel olup, görüntü kümesi karmaşık sayılardan oluşan kompleks fonksiyonların da gerçek değişken kabul edildiği olur.
Matematikte verilmiş bir fonksiyonun tanım kümesi, fonksiyonun tanımlı olduğu "girdi" değerlerinin oluşturduğu kümedir. Örneğin, kosinüsün tanım kümesi gerçel sayılar olurken karekök fonksiyonunun tanım kümesi 0 ve 0'dan büyük sayıların oluşturduğu negatif olmayan gerçel sayılar kümesidir. Fonksiyonun xy Kartezyen koordinat sistemindeki temsilinde, tanım kümesi x-ekseni (apsis) ile temsil edilir.
Matematikte görüntü kümesi bir fonksiyonun tüm girdi değerlerinin kümesinin veya daha kesin bir söylemle tanım kümesinin tüm elemanlarının fonksiyon tarafından gönderildiği kümedir.
Matematikte verilmiş bir fonksiyonun değer kümesi, fonksiyonun tanımlı olduğu "çıkış" değerlerinin oluşturduğu kümedir. Örneğin, kosinüsün değer kümesi [-1; 1] gerçel sayılar aralığıyken gerçel sayılarda karekök fonksiyonunun değer kümesi bütün gerçel sayılardır. Fonksiyonun xy Kartezyen koordinat sistemindeki temsilinde değer kümesi y-ekseniyle (ordinat) temsil edilir.
Fonksiyonlar, sahip oldukları özelliklere göre sınıflandırılabilir.
Matematikte tersholomorf fonksiyonlar holomorf fonksiyonlara oldukça yakın ancak yine de onlardan ayrı olan fonksiyonlar ailesidir.
Meromorf fonksiyon, özellikle karmaşık analizde, bir fonksiyon çeşidi. Daha açık bir ifadeyle, meromorf fonksiyon, karmaşık düzlemin açık bir D kümesi üzerinde fonksiyonun kutup noktalarından oluşan belli bir korunmalı noktalar kümesi haricinde D 'nin geriye kalan diğer noktalarının tümünde holomorf olan fonksiyondur. Meromorf kelimesi Yunanca "kısım", "parça" anlamına gelen “meros” ve "tüm", "bütün" anlamına gelen “holos” kelimelerinin tezat bir birleşiminden ortaya çıkmış bir kelimedir.
Matematikte fonksiyon uzayı bir X kümesinden bir Y kümesine tanımlı fonksiyonların oluşturduğu kümeye verilen bir addır. Fonksiyonlar kümesi yerine fonksiyon uzayı denilmesinin nedeni matematiğin kendi içindeki uygulamalarında bu kümenin genellikle topolojik uzay veya vektör uzayı olarak ortaya çıkmasıdır.
Otomat teorisi, teorik bilgisayar biliminde soyut makineleri ve bu makineleri kullanarak hesaplama problemlerinin çözülebilmesini araştıran daldır. Bu soyut makinelere otomat denir. Otomat kelimesinin kökeni Yunanca "Grekçe: αὐτόματα" kelimesi olup "kendi kendine hareket eden" demektir.
Matematikte sabit fonksiyon, her giriş değeri için çıkış değerini daima sabit kaldığı bir fonksiyondur. Örneğin; 
Matematikte, tek fonksiyon ve çift fonksiyon, aralarında simetri ilişki bulunan ve toplamaya göre tersleri olan fonksiyonlardır. Matematiksel analizin birçok alanında, özellikle kuvvet serisi ve Fourier serisinde sıkça kullanılır. Kuvvet fonksiyonunun eş kuvvetlerine göre adlandırılır ve şu şartı şağlar: Eğer n çift tam sayı ise, f(x) = xn, çift fonksiyon; n tek tam sayı ise, fonksiyon tek fonksiyondur.
Örten fonksiyon, matematikte, X kümesinden Y kümesine tanımlı bir f fonksiyonunda, X kümesindeki her x elemanı için Y kümesindeki y elemanlarının tamamının olduğu fonksiyon türü. Tanım kümesindeki elemanların tamamı, değer kümesindeki elemanların tamamıyla eşleştiği örten fonksiyonlarda, değer kümesi ile görüntü kümesi birbirine eşittir.
Boş fonksiyon, matematikte, tanım kümesi boş küme ∅ olan fonksiyon türü. Her A kümesi için böyle bir fonksiyon vardır.
Düzgünlük, matematiksel analizde, bir fonksiyonun sürekliliğe sahip olan türevlerin sayısı ile ölçülen bir özellik. Düzgün fonksiyon ise tanım kümesindeki bütün basamakları türevli olan bir fonksiyondur.