Sebuah fungsi dari himpunan (domain) ke himpunan (kodomain) adalah aturan yang memetakan setiap elemen ke tepat satu . Himpunan semua keluaran yang benar-benar muncul disebut range (jelajah).
Fungsi adalah tulang punggung seluruh matematika — kalkulus mempelajari turunan dan integralnya, aljabar linear mempelajari fungsi linear (matriks), dan ilmu komputer mempelajarinya sebagai algoritme.
Sebuah fungsi dapat didefinisikan dengan:
- Sebuah rumus (),
- Sebuah grafik (himpunan titik ),
- Sebuah tabel pasangan masukan-keluaran,
- Atau aturan verbal.
Uji garis vertikal membedakan fungsi dari relasi sembarang: setiap garis vertikal memotong grafik fungsi paling banyak satu kali.