Fungsi adalah aturan yang memasangkan setiap masukan dengan tepat satu keluaran. Kita menyebut keluaran tersebut sebagai citra dari masukan. Himpunan semua masukan suatu fungsi disebut domain. Himpunan semua keluaran yang diperbolehkan disebut kodomain. Kita menulis \(f:X \to Y\) untuk mendeskripsikan fungsi bernama \(f\text{,}\) dengan domain \(X\) dan kodomain \(Y\text{.}\) Namun, bentuk ini belum memberi tahu kita fungsi mana yang dinyatakan oleh \(f\text{.}\) Untuk mendefinisikan fungsi tersebut, kita harus mendeskripsikan aturannya. Hal ini sering dilakukan dengan memberikan rumus untuk menghitung keluaran dari setiap masukan (meskipun tentu saja ini bukan satu-satunya cara untuk mendeskripsikan aturan tersebut).