Fungsi assigns tepat satu output untuk setiap input yang diizinkan. Injektif berarti output sama memaksa input sama; surjektif berarti setiap elemen dari kodomain yang dinyatakan tercapai. Pemetaan x↦x² dari R ke [0,∞) adalah surjektif tetapi tidak injektif. Dari [0,∞) ke [0,∞) ia keduanya, sehingga bijektif. Dari [0,∞) ke R ia tetap injektif tetapi gagal surjektivitas. Jaga domain, citra, dan kodomain terpisah saat menguji setiap klaim.
Fungsi invers membalikkan bijeksi. Selesaikan y=f(x) untuk x, lalu gunakan domain asli untuk memilih cabang. Untuk f(x)=(x−2)²−5 pada x≥2, inversnya adalah 2+√(y+5) pada y≥−5. Cabang minus akan mengembalikan input di luar domain yang dipilih. Periksa f⁻¹(f(x))=x untuk x yang diizinkan dan f(f⁻¹(y))=y untuk y yang diizinkan; satu composing tanpa pengecekan dapat menyembunyikan kesalahan domain.
Grafik invers mencerminkan grafik asli sepanjang y=x; itu tidak mengambil resiprokal dari nilai output. Fungsi self-inverse, atau involution, memenuhi f(f(x))=x di mana pun komposisinya terdefinisi. Baik −x pada R dan 1/x pada R mengecualikan nol adalah involutions. Involution yang meningkat ketat pada interval haruslah identitas: jika f(x)>x, peningkatan memberikan f(f(x))>f(x)>x, dan argumen analog menyingkirkan f(x)<x.
Iterasi fⁿ berarti komposisi berulang, bukan pangkat (f(x))ⁿ. Hitung beberapa komposisi awal dan periksa domainnya sebelum mencari periode. Untuk f(x)=1/(1−x) pada R yang mengecualikan 0 dan 1, berlaku f²(x)=(x−1)/x dan f³(x)=x. Citra tetap berada dalam domain yang diizinkan. Oleh karena itu, kurangi jumlah iterasi modulo tiga. Rumus yang ditampilkan sama dengan x setelah penyederhanaan tidak mengembalikan input yang dilarang.