Salah satu cara mendefinisikan fungsi adalah sebagai aturan yang memasangkan setiap masukan dengan tepat satu keluaran. Keluaran tersebut disebut citra dari masukan. Fungsi juga dilengkapi dengan domain, yaitu himpunan semua masukan, dan kodomain, yaitu himpunan semua keluaran yang diperbolehkan. Kita juga dapat membicarakan daerah hasil fungsi, yaitu himpunan semua keluaran yang benar-benar dihasilkan, atau dengan kata lain, himpunan semua citra elemen-elemen domain.